A Compilation Method for ML-Style Polymorphic Record Calculi

Atsushi Ohori. A Compilation Method for ML-Style Polymorphic Record Calculi. In POPL. pages 154-165, 1992.

Bibliographies