レコード計算の多相型システムと型推論1. {title= , author= date= } , @bd_gfngfn gfngfn 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.