Higher-Order Modules and the Phase Distinction (1990)

by Robert Harper , John C. Mitchell , Eugenio Moggi
Venue:In Seventeenth ACM Symposium on Principles of Programming Languages
Citations:140 - 24 self

Documents Related by Co-Citation

269 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
293 Abstract types have existential type – John C Mitchell, Gordon D Plotkin - 1988
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
625 Compiling with Continuations – A Appel - 1992