A Semantics for Higher-order Functors (1994)

Cached

Download Links

by David B. MacQueen , Mads Torre
Citations:57 - 2 self

Documents Related by Co-Citation

224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
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
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
30 Principal Signatures for Higher-order Program Modules – Mads Tofte, Mds Torre - 1993
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
55 Abstract types and the dot notation – Luca Cardelli, Xavier Leroy - 1990
56 A Syntactic Theory of Type Generativity and Sharing – Xavier Leroy - 1996
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
18 Higher-Order Functors with Transparent Signatures – Sandip K. Biswas - 1995
89 A Type-Theoretic Interpretation of Standard ML – Robert Harper, Christopher Stone - 2000
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
138 Typeful programming – Luca Cardelli - 1989
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
188 Units: Cool Modules for HOT Languages – Matthew Flatt, Matthias Felleisen - 1998
88 What is a Recursive Module? – Karl Crary, Robert Harper, Sidd Puri - 1999