Extensible records in a pure calculus of subtyping (1994)

by L Cardelli
Venue:In Theoretical Aspects of Object-Oriented Programming