Вы здесь

Mitchell J. C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Connecting Formal Semantics to Constructive Intuitions 1992 Kurtz S. A., Mitchell J. C., O Donnell M. J. Lecture Notes in Computer Science 05.08.1992
СТ On the Type Structure of Standard ML 1993 Happer R., Mitchell J. C. ACM Trans. Programming Languages and Systems 28.05.1993
СТ Notes on Sconing and Relators 1993 Mitchell J. C., Scedrov A. Lecture Notes in Computer Science 06.11.1993
СТ Notes on Typed Object-Oriented Programming 1994 Fisher K., Mitchell J. C. Lecture Notes in Computer Science 05.05.1994
СТ A Delegation-based Object Calculus with Subtyping 1995 Fisher K., Mitchell J. C. Lecture Notes in Computer Science Fundamentals of Computation Theory 18.10.1995
СТ Adding Type Parameterization to the Java Language 1997 Agesen O., Freund S. N., Mitchell J. C. SIGPLAN Notices 23.01.1998
СТ Type Systems for Programming Languages 1994 Mitchell J. C. Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B 27.01.1998
СТ ML and Beyond 1997 Harper R., Mitchell J. C. SIGPLAN Notices 15.04.1998
СТ A Type System for Object Initialization in the JavaTM Bytecode Language 1998 Freund S. N., Mitchell J. C. SIGPLAN Notices 23.04.1999
СТ A Formal Framework for the Java Bytecode Language and Verifier 1999 Freund S. N., Mitchell J. C. SIGPLAN Notices 21.12.1999
СТ A Type System for Object Initialization in the Java Bytecode Language 1999 Freund S. N., Mitchell J. C. ACM Trans. on Programming Languages and Systems 10.07.2000
СТ DATALOG with Contraints: A Foundation for Trust Management Languages 2002 Li N., Mitchell J. C. Lecture Notes in Computer Science 24.01.2003
СТ Probabilistic Polynomial-Time Semantics for a Protocol Security Logic 2005 Datta A., Derek A., Mitchell J. C., Shmatikov V., Turuani M. Lecture Notes in Computer Science Lecture Notes in Computer Science 20.11.2005

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Theoretical Aspects of Computer Software: Proc./Intern. Symp. TACS 94. Sendai, Japan, April 1994 1994 Lecture Notes in Computer Science
  1. Hagiya M.
  2. Mitchell J. C.
26.04.1994