Вы здесь

Morrisett G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Achieving Type Safety for Low-Level Code 2003 Morrisett G. Lecture Notes in Computer Science 14.01.2004
СТ Type Checking Systems Code 2002 Morrisett G. Lecture Notes in Computer Science 08.05.2002
СТ 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
СТ Alias Types 2000 Smith F., Walker D., Morrisett G. Lecture Notes in Computer Science 25.04.2000
СТ 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
СТ Comparing Mostly-Copying and Mark-Sweep Conservative Collection 1999 Smith F., Morrisett G. SIGPLAN Notices 23.08.1999
СТ Intensional Polymorphism in Type-Erasure Semantics 1999 Crary K., Weirich S., Morrisett G. SIGPLAN Notices 23.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
СТ 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
СТ 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