Row-based effect types for database integration

Sam Lindley, James Cheney

Research output: Chapter in Book/Report/Conference proceedingConference contribution

21 Citations (Scopus)

Abstract

We present CORELINKS, a call-by-value variant of System F with row polymorphism, row-based effect types, and implicit subkinding, which forms the basis for the Links web programming language. We focus on extensions to CORELINKS for database programming. The effect types support abstraction over database queries, while ensuring that queries are translated predictably to idiomatic and efficient SQL at run-time. Subkinding statically enforces the constraint that queriesmust return a list of records of base type. Polymorphism over the presence of record labels supports abstraction over database queries, inserts, deletes and updates.

Original languageEnglish
Title of host publicationTLDI '12: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
PublisherAssociation for Computing Machinery
Pages91-102
Number of pages12
ISBN (Print)9781450311205
DOIs
Publication statusPublished - Jan 2012
Event8th ACM SIGPLAN Workshop on Types in Language Design and Implementation 2012 - Philadelphia, United States
Duration: 28 Jan 201228 Jan 2012

Conference

Conference8th ACM SIGPLAN Workshop on Types in Language Design and Implementation 2012
Abbreviated titleTLDI'12
CountryUnited States
CityPhiladelphia
Period28/01/1228/01/12

Keywords

  • Effect types
  • Language integrated query
  • Normalisation
  • Polymorphism
  • Row types

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Row-based effect types for database integration'. Together they form a unique fingerprint.

  • Cite this

    Lindley, S., & Cheney, J. (2012). Row-based effect types for database integration. In TLDI '12: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation (pp. 91-102). Association for Computing Machinery. https://doi.org/10.1145/2103786.2103798