Type Inference for Records in a Natural Extension of ML (1994)

by Didier Rémy
Venue:Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design
Citations:75 - 7 self