A compilation method for ML-style polymorphic record calculi (1992)

Cached

Download Links

by Atsushi Ohori
Citations:57 - 7 self

Documents Related by Co-Citation

1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
625 Compiling With Continuations – A W Appel - 1992
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
939 A theory of type polymorphism in programming – Robin Milner - 1978
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
89 Coherence for Qualified Types – Mark P. Jones - 1993
47 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
217 CML: A higher-order concurrent language – J Reppy - 1991
179 Lambda Lifting: Transforming Programs to Recursive Equations – Thomas Johnsson - 1985
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
29 Polymorphism for Imperative Languages without Imperative Types – Andrew Wright - 1993
363 Towards a theory of type structure – J C Reynolds - 1974
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987