Typechecking Records and Variants in a Natural Extension of ML.

Didier Rmy

Browse the full POPL paper archive.