Вы здесь

Crary K.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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