2. • A. Ohori. A Polymorphic record calculus and
its compilation, 1995.
• E. Osinski. A Polymorphic Type System and
Compilation Scheme
for Record Concatenation, 2006.
3. • A. Ohori. A Polymorphic record calculus and
its compilation, 1995.
• E. Osinski. A Polymorphic Type System and
Compilation Scheme
for Record Concatenation, 2006.