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

625 Compiling with Continuations – A Appel - 1992
173 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
67 Tag-free Garbage Collection Using Explicit Type Parameters – Andrew Tolmach
262 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
347 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
102 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
366 Towards a theory of type structure – John C Reynolds - 1974