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:135 - 23 self

Documents Related by Co-Citation

268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
198 Reflections on Standard ML – David B. MacQueen - 1992
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
55 Abstract types and the dot notation – Luca Cardelli, Xavier Leroy - 1990
138 Typeful programming – Luca Cardelli - 1989
72 The essence of ML – MH88 J C Mitchell, R Harper - 1988
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
30 Principal Signatures for Higher-order Program Modules – Mads Tofte, Mds Torre - 1993
57 A Semantics for Higher-order Functors – David B. MacQueen, Mads Torre - 1994
237 Interprétation Fonctionnelle et Elimination des Coupures dans l’Arithmétique d’Ordre Supérieur – J-Y Girard - 1972
227 Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types – Jean-Yves Girard - 1970
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995