Unboxed values as first class citizens in a non-strict functional language (1991)

Cached

Download Links

by Simon L Peyton Jones , John Launchbury
Venue:Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Citations:105 - 15 self

Documents Related by Co-Citation

170 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
620 Compiling with Continuations – Andrew W Appel - 1992
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
38 Formally optimal boxing – Fritz Henglein, Jesper J0rgensen - 1994
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
344 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
184 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
194 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
356 Principal type-schemes for functional programs – L Damas, R Milner - 1982
47 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
399 Deforestation: Transforming programs to eliminate trees – Philip Wadler - 1990
102 Compiling with Types – Greg Morrisett - 1995
65 et al. Report on the Programming Language Haskell – P Hudak, S Peyton Jones, P Wadler - 1992
935 A theory of type polymorphism in programming – Robin Milner - 1978
17 A semantics for higher order functors – D MacQueen, M Tofte - 1994
267 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
223 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994