Record polymorphism: Its development and applications

Atsushi Ohori

Research output: Chapter in Book/Report/Conference proceedingChapter


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.

Original languageEnglish
Title of host publicationIn Search of Elegance in the Theory and Practice of Computation
Subtitle of host publicationEssays Dedicated to Peter Buneman
PublisherSpringer Verlag
Number of pages13
ISBN (Print)9783642416590
Publication statusPublished - 2013
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Record polymorphism: Its development and applications'. Together they form a unique fingerprint.

Cite this