Operations on records, in (1994)

by L Cardelli, J C Mitchell
Venue:Programming: Types, Semantics, and Language Design