A Polymorphic Record Calculus and Its Compilation (1995)

Cached

Download Links

by Atsushi Ohori
Venue:ACM Transactions on Programming Languages and Systems
Citations:72 - 8 self

Documents Related by Co-Citation

114 Type Inference for Record Concatenation and Multiple Inheritance – Mitchell Wand - 1989
128 Typechecking records and variants in a natural extension of ML – D Rémy - 1989
939 A theory of type polymorphism in programming – Robin Milner - 1978
136 Complete type inference for simple objects – Mitchell Wand - 1988
37 Typing Record Concatenation for Free – Didier Remy, E De Recherche, Et En Automatique, Domaine De Voluceau, Calcul Symbolique Programmation - 1992
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
70 A Polymorphic Type System for Extensible Records and Variants – Benedict R. Gaster, Mark P. Jones - 1996
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
58 A Record Calculus Based on Symmetric Concatenation – Robert Harper, Benjamin Pierce - 1991
89 Coherence for Qualified Types – Mark P. Jones - 1993
90 Type inference with constrained types. Theory and Practice of Object Systems – M Odersky, M Sulzmann, M Wehr - 1999
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
73 Type Inference for Records in a Natural Extension of ML – Didier Rémy - 1994
61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
132 Qualified types: Theory and practice – M P Jones - 1992
214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
35 Extension of ML Type System with a Sorted Equational Theory on Types – Didier Remy, E De Recherche, Et En Automatique, Domaine De Voluceau, Calcul Symbolique Programmation - 1992
107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
57 A compilation method for ML-style polymorphic record calculi – Atsushi Ohori - 1992