Atsushi Ohori A Polymorphic Record Calculus and Its Compilation. 844-895 1995 17 ACM Trans. Program. Lang. Syst. 6 http://doi.acm.org/10.1145/218570.218572 db/journals/toplas/toplas17.html#Ohori95