Polymorphic Equality - No Tags Required (1989)

View PDF

Download Links

by Martin Elsman
Venue:In Proceedings of the 2nd International Workshop on Types in Compilation, Kyoto
Citations:4 - 0 self

Documents Related by Co-Citation

985 A theory of type polymorphism in programming – Robin Milner - 1978
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
378 Towards a theory of type structure – J C Reynolds - 1974
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
301 Garbage collection in an uncooperative environment – H-J BOEHM, M WEISER - 1988
1371 The model checker SPIN – Gerard J. Holzmann - 1997
1713 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha - 2000
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
634 Compiling with Continuations – A Appel - 1992