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

171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
625 Compiling With Continuations – A W Appel - 1992
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
38 Formally optimal boxing – Fritz Henglein, Jesper J0rgensen - 1994
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
345 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
187 Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine - Version 2.5 – Simon L Peyton Jones - 1992
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
47 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
403 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: a non-strict, purely functional language version 1.2 – P Hudak - 1992
939 A theory of type polymorphism in programming – Robin Milner - 1978
17 A semantics for higher order functors – D MacQueen, M Tofte - 1994
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994