A polymorphic record calculus and its compilation (1995)

by A Ohori
Venue:ACM Trans. Program. Lang. Syst