A Polymorphic Record Calculus and Its Compilation (1995)

Cached

Download Links

by Atsushi Ohori
Venue:ACM Transactions on Programming Languages and Systems
Citations:77 - 10 self

Documents Related by Co-Citation

944 A theory of type polymorphism in programming – Robin Milner - 1978
115 Type Inference for Record Concatenation and Multiple Inheritance – Mitchell Wand - 1989
130 Typechecking Records and Variants in a Natural Extension of ML – Didier Rémy - 1989
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
140 Complete Type Inference for Simple Objects – Mitchell Wand - 1987
625 Compiling with Continuations – A Appel - 1992
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965