An Implementation of Standard ML Modules (1988)

Cached

Download Links

by David Macqueen , David Macqueen
Venue:In ACM Conf. on Lisp and Functional Programming
Citations:29 - 3 self

Active Bibliography

An Implementation of Standard ML Modules – David Macqueen Att, David Macqueen - 1988
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
24 Type Checking with Universes – Robert Harper, Robert Pollack - 1991
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
30 Principal Signatures for Higher-order Program Modules – Mads Tofte, Mds Torre - 1993
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
22 Extended ML: Past, present and future – Donald Sannella , Andrzej Tarlecki - 1991
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
Type Theory for Programming Languages – Robert Harper - 1994
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
92 A Standard ML Compiler – Andrew W. Appel, David B. Macqueen - 1987
61 Smartest Recompilation – Zhong Shao, Andrew W. Appel - 1993
13 Extending Record typing to type parametric modules with sharing – Maria Virginia Aponte - 1993
Types in Programming Languages – Carlos Camarão, Lucília Figueiredo, Elaine Pimentel
1 Key Words in Context, an example – James Hook - 1990
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
135 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
56 A Syntactic Theory of Type Generativity and Sharing – Xavier Leroy - 1996