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

by D Rémy
Venue:In Proc. ACM Symposium on Principles of Programming Languages