An Ad-Hoc Approach to the Implementation of Polymorphism (1991)

Cached

Download Links

by R. Morrison , A. Dearle , R.C.H. Connor , A.L. Brown
Citations:47 - 9 self

Documents Related by Co-Citation

171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
625 Compiling With Continuations – A W Appel - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
64 Runtime Tags Aren't Necessary – Andrew W. Appel, Andrew W - 1988
29 Polymorphism for Imperative Languages without Imperative Types – Andrew Wright - 1993
38 Formally optimal boxing – Fritz Henglein, Jesper J0rgensen - 1994
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
17 Partial Evaluation for Dictionary-free Overloading – Mark P. Jones - 1993
89 Coherence for Qualified Types – Mark P. Jones - 1993
57 A compilation method for ML-style polymorphic record calculi – Atsushi Ohori - 1992
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
363 Towards a theory of type structure – J C Reynolds - 1974
30 Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction – Shail Aditya, Christine H. Flood, James E. Hicks - 1994