Record Polymorphism: Its Development and Applications

In Search of Elegance in the Theory and Practice of Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41660-6_23 ◽

2013 ◽

pp. 432-444

Author(s):

Atsushi Ohori