Documents Related by Co-Citation

1497 The Definition of Standard ML – Robin Milner, Mads Tofte, Robert Harper - 1990
208 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
251 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
595 Compiling with Continuations – Andrew Appel - 1992
252 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
192 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
163 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
118 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
98 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
339 Towards a theory of type structure – J C Reynolds
219 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
86 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
267 G.D.: Abstract types have existential types – J C Mitchell, Plotkin - 1988
221 Interprétation fonctionnelle et élimination des coupures de l’arithmétique d’ordre supérieur. Thèse de Doctorat d’ État, Université de Paris VII – Jean-Yves Girard - 1972
33 Typed Cross-Module Compilation – Zhong Shao - 1998
490 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
47 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
97 Compiling with Types – Greg Morrisett - 1995
65 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994