Record polymorphism: Its development and applications

Research output: Chapter in Book/Report/Conference proceedingChapter

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.

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
Pages432-444
Number of pages13
ISBN (Print)9783642416590
DOIs
Publication statusPublished - 2013

Publication series

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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

Cite this