Typechecking records and variants in a natural extension of ml (1989)

by Didier R6my
Venue:In Sixteenth Annual ACM Syrup. on Principles of Prow. Languages