|
163
|
Unboxed Objects and Polymorphic Typing
– Xavier Leroy
- 1992
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
251
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
38
|
Formally optimal boxing
– Fritz Henglein, Jesper J0rgensen
- 1994
|
|
1497
|
The Definition of Standard ML
– R Milner, M Tofte, R Harper
- 1990
|
|
135
|
Separate Compilation for Standard ML
– Andrew W. Appel, David B. Macqueen
- 1994
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
192
|
Standard ML of New Jersey
– Andrew W. Appel, David B. Macqueen
- 1991
|
|
322
|
Principal type-schemes for functional programs
– Luis Damas, Robin Milner
- 1982
|
|
45
|
An Ad-Hoc Approach to the Implementation of Polymorphism
– R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown
- 1991
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
63
|
et al. Report on the programming language Haskell: A non-strict, purely functional language. Version 1.2
– Paul Hudak, Simon Peyton Jones, Philip Wadler
- 1992
|
|
873
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
180
|
Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5
– Simon L Peyton Jones
- 1992
|
|
251
|
A Type-Theoretic Approach to Higher-Order Modules with Sharing
– Robert Harper, Mark Lillibridge
- 1994
|
|
208
|
Manifest Types, Modules, and Separate Compilation
– Xavier Leroy
- 1994
|
|
17
|
A semantics for higher order functors
– D MacQueen, M Tofte
- 1994
|
|
65
|
Space-Efficient Closure Representations
– Zhong Shao, Andrew W. Appel
- 1994
|
