Active Bibliography

102 Compiling with Types – Greg Morrisett - 1995
21 Types and Polymorphism in Persistent Programming Systems – Richard C. H. Connor - 1990
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
18 Delivering the Benefits of Persistence to System Construction and Execution – Quintin I. Cutts - 1992
14 A Language for Generic Programming – Jeremy G. Siek - 2005
Type Theory for Programming Languages – Robert Harper - 1994
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
1 Functional Encapsulation and Type Reconstruction in a Strongly-typed, Polymorphic Language – Shail Aditya Gupta, Frederic R. Morgenthaler - 1995
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
6 Mechanisms for Controlling Evolutions in Persistent Object Systems – R. Morrison, R.C.H. Connor, Q.I. Cutts, G. Kirby, D. Stemple - 1993
25 Typed Common Intermediate Format – Zhong Shao - 1997
7 Hierarchies of Decidable Extensions of Bounded Quantification – Sergei Vorobyov - 1994
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
49 Polymorphic Type Inference and Assignment – Xavier Leroy, Pierre Weis, Inria Rocquencourt - 1991
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994