A Type-Theoretic Approach to Higher-Order Modules with Sharing (1994)

by Robert Harper , Mark Lillibridge
Citations:268 - 23 self

Documents Related by Co-Citation

224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
625 Compiling With Continuations – A W Appel - 1992
138 Typeful programming – Luca Cardelli - 1989
198 Reflections on Standard ML – David B. MacQueen - 1992
102 Compiling with Types – Greg Morrisett - 1995
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
363 Towards a theory of type structure – J C Reynolds - 1974
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach