|
СТ |
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 |
|
СТ |
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 |
|
СТ |
A Type System for Object Initialization in the JavaTM Bytecode Language |
1998 |
Freund S. N., Mitchell J. C. |
|
|
|
SIGPLAN Notices |
23.04.1999 |
|
СТ |
Adding Type Parameterization to the Java Language |
1997 |
Agesen O., Freund S. N., Mitchell J. C. |
|
|
|
SIGPLAN Notices |
23.01.1998 |
|
СТ |
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 |
|
СТ |
DATALOG with Contraints: A Foundation for Trust Management Languages |
2002 |
Li N., Mitchell J. C. |
|
|
|
Lecture Notes in Computer Science |
24.01.2003 |
|
СТ |
ML and Beyond |
1997 |
Harper R., Mitchell J. C. |
|
|
|
SIGPLAN Notices |
15.04.1998 |
|
СТ |
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 |
|
СТ |
On the Type Structure of Standard ML |
1993 |
Happer R., Mitchell J. C. |
|
|
|
ACM Trans. Programming Languages and Systems |
28.05.1993 |
|
СТ |
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 |
|
СТ |
Type Systems for Programming Languages |
1994 |
Mitchell J. C. |
|
|
|
Handbook of Theoretical Computer Science. Formal Models and Semantics. Volume B |
27.01.1998 |
