Partial Evaluation for Dictionary-free Overloading (1993)

Cached

Download Links

by Mark P. Jones
Citations:17 - 2 self

Documents Related by Co-Citation

171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
44 Implementing Haskell overloading – Lennart Augustsson - 1993
38 Formally optimal boxing – Fritz Henglein, Jesper J0rgensen - 1994
47 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
625 Compiling With Continuations – A W Appel - 1992
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
30 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994
64 Runtime Tags Aren't Necessary – Andrew W. Appel, Andrew W - 1988
77 Report on the programming language Haskell. Version 1.0 – P Hudak, P Wadler - 1990
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
30 Unboxed values as first-class citizens – Peyton Jones, S, J Launchbury - 1991
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
7 Compiling with Non-Parametric Polymorphism (Preliminary Report) – Robert Harper, Greg Morrisett
93 A Critique of Standard ML – Andrew W. Appel - 1992
97 A simple applicative language: Mini-ML – D Clement, J Despeyroux, T Despeyroux, G Kahn - 1986
31 Polymorphic Type Reconstruction for Garbage Collection without Tags – Benjamin Goldberg, Michael Gloger - 1992