|
|
An Implementation of Standard ML Modules
– David Macqueen Att, David Macqueen
- 1988
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
23
|
Type Checking with Universes
– Robert Harper, Robert Pollack
- 1991
|
|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
|
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗
– George Kuan
- 2009
|
|
68
|
A Region Inference Algorithm
– Mads Tofte , Lars Birkedal
- 1998
|
|
30
|
Principal Signatures for Higher-order Program Modules
– Mads Tofte, Mds Torre
- 1993
|
|
22
|
Extended ML: Past, present and future
– Donald Sannella , Andrzej Tarlecki
- 1991
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
36
|
Understanding and Evolving the ML Module System
– Derek Dreyer, Peter Lee
- 2005
|
|
14
|
From Hindley-Milner types to first-class structures
– Mark P. Jones
- 1995
|
|
89
|
A Standard ML Compiler
– Andrew W. Appel, David B. Macqueen
- 1987
|
|
60
|
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
|
|
130
|
Higher-Order Modules and the Phase Distinction
– Robert Harper, John C. Mitchell, Eugenio Moggi
- 1990
|
|
53
|
A Syntactic Theory of Type Generativity and Sharing
– Xavier Leroy
- 1996
|
|
208
|
Manifest Types, Modules, and Separate Compilation
– Xavier Leroy
- 1994
|
