Extensible records in a pure calculus of subtyping', Research Report 81, DEC Systems Research Center, January. Reprinted in: Theoretical Aspects of Object-Oriented Programming (1992)

by L Cardelli