A modest model of records, inheritance, and bounded quantification (0)

by Kim B Bruce, Giuseppe Longo
Venue:Theoretical Aspects of Object-Oriented Programming