СТ |
Distributed Control Flow with Classical Modal Logic |
2005 |
Murphy T., Crary K., Harper R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.10.2005 |
СТ |
Sound and Complete Elimination of Singleton Kinds |
2001 |
Crary K. |
|
|
|
Lecture Notes in Computer Science |
27.07.2001 |
СТ |
Safe and Flexible Dynamic Linking of Native Code |
2001 |
Hicks M., Weirich S., Crary K. |
|
|
|
Lecture Notes in Computer Science |
27.07.2001 |
СТ |
Flexible Type Analysis |
1999 |
Crary K., Weirich S. |
|
|
|
SIGPLAN Notices |
20.12.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 |
СТ |
Intensional Polymorphism in Type-Erasure Semantics |
1999 |
Crary K., Weirich S., Morrisett G. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
СТ |
What is a Recursive Module? |
1999 |
Crary K., Harper R., Puri S. |
|
|
|
SIGPLAN Notices |
20.08.1999 |
СТ |
Stack-Based Typed Assembly Language |
1998 |
Morrisett G., Crary K., Glew N., Walker D. |
|
|
|
Lecture Notes in Computer Science |
24.09.1998 |
СТ |
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 |