@inbook{a67b6e4e44624361bde86c7dec3950d5,
title = "Record polymorphism: Its development and applications",
abstract = "Record polymorphism plays an essential role in developing a static type system for labeled record structures such as relational databases. Moreover, compilation method for record polymorphism serves as the basis for efficiently compiling various advanced features in statically typed polymorphic programming languages. This article overviews the power and applicability of record polymorphism that have been implemented in SML, an extension of Standard ML been developed at RIEC, Tohoku University.",
author = "Atsushi Ohori",
note = "Funding Information: This work was partially supported by Grant-in-aid for scientific research (C), grant no:22500023, and Grant-in-aid for scientific research (B), grant no:25280019.",
year = "2013",
doi = "10.1007/978-3-642-41660-6_23",
language = "English",
isbn = "9783642416590",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "432--444",
booktitle = "In Search of Elegance in the Theory and Practice of Computation",
}