A Polymorphic Record Calculus and Its Compilation (1995)

by Atsushi Ohori
Venue:ACM Transactions on Programming Languages and Systems