СТ |
TIL: A Type Directed Optimizing Compiler for ML |
1996 |
Tarditi D., Morrisett G., Cheng P., Stone C., Harper R., Lee P. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
СТ |
TIL: A Type-Directed Optimizing Compiler for ML |
1996 |
Tarditi D., Morrisett G., Cheng P., Stone C., Harper R., Lee P. |
|
|
|
Proc. of the ACM SIGPLAN 96 Conf. on Programming Language Design and Implementation (PLDI) |
22.08.1997 |
СТ |
From System F to Typed Assembly Language |
1998 |
Morrisett G., Walker D., Crary K., Glew N. |
|
|
|
Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages |
14.05.1998 |
СТ |
Stack-Based Typed Assembly Language |
1998 |
Morrisett G., Crary K., Glew N., Walker D. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
СТ |
Intensional Polymorphism in Type-Erasure Semantics |
1999 |
Crary K., Weirich S., Morrisett G. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
СТ |
Comparing Mostly-Copying and Mark-Sweep Conservative Collection |
1999 |
Smith F., Morrisett G. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
СТ |
Type Structure for Low-Level Programming Languages |
1999 |
Crary K., Morrisett G. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.08.1999 |
СТ |
Pricipals in Programming Languages: A Syntactic Proof Technique |
1999 |
Zdancewic S., Grossman D., Morrisett G. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
СТ |
Alias Types |
2000 |
Smith F., Walker D., Morrisett G. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
СТ |
Alias Types for Recursive Data Structures |
2001 |
Walker D., Morrisett G. |
|
|
|
Lecture Notes in Computer Science |
27.07.2001 |
СТ |
Scalable Certification for Typed Assembly Language |
2001 |
Grossman D., Morrisett G. |
|
|
|
Lecture Notes in Computer Science |
27.07.2001 |
СТ |
Type Checking Systems Code |
2002 |
Morrisett G. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
СТ |
Achieving Type Safety for Low-Level Code |
2003 |
Morrisett G. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |