A polymorphic record calculus and its compilation (1995)

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