Polymorphic Equality - No Tags Required (1989)

Cached

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

944 A theory of type polymorphism in programming – Robin Milner - 1978
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
366 Towards a theory of type structure – John C Reynolds - 1974
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
625 Compiling with Continuations – A Appel - 1992
1273 The model checker SPIN – Gerard J. Holzmann - 1997
1637 The Java™ Language Specification – J Gosling, B Joy, G Steele - 1996