A Polymorphic Type System and Compilation Scheme for Record Concatenation. - Edward Osinski (2006)