Extensible records in a pure calculus of subtyping. Research report 81, DEC/Compaq Systems Research Center (1992)

by Luca Cardelli
Venue:Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design