Media type: E-Article Title: In Search of Elegance in the Theory and Practice of Computation: Record Polymorphism: Its Development and Applications Contributor: Ohori, Atsushi imprint: Springer Berlin Heidelberg, 2013 Published in: In Search of Elegance in the Theory and Practice of Computation (2013), Seite 432-444 Language: Not determined DOI: 10.1007/978-3-642-41660-6_23 ISSN: 0302-9743; 1611-3349 Origination: Footnote: