Row-based effect types for database integration

Sam Lindley; James Cheney

doi:10.1145/2103786.2103798

Row-based effect types for database integration

Sam Lindley^*, James Cheney

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

44 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 language	English
Title of host publication	TLDI '12: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Publisher	Association for Computing Machinery
Pages	91-102
Number of pages	12
ISBN (Print)	9781450311205
DOIs	https://doi.org/10.1145/2103786.2103798
Publication status	Published - Jan 2012
Event	8th ACM SIGPLAN Workshop on Types in Language Design and Implementation 2012 - Philadelphia, United States Duration: 28 Jan 2012 → 28 Jan 2012

Conference

Conference	8th ACM SIGPLAN Workshop on Types in Language Design and Implementation 2012
Abbreviated title	TLDI'12
Country/Territory	United States
City	Philadelphia
Period	28/01/12 → 28/01/12

Keywords

Effect types
Language integrated query
Normalisation
Polymorphism
Row types

ASJC Scopus subject areas

Software

Access to Document

10.1145/2103786.2103798

Cite this

@inproceedings{849d4de50ef0411ba5b29ce8d28945f8,

title = "Row-based effect types for database integration",

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.",

keywords = "Effect types, Language integrated query, Normalisation, Polymorphism, Row types",

author = "Sam Lindley and James Cheney",

year = "2012",

month = jan,

doi = "10.1145/2103786.2103798",

language = "English",

isbn = "9781450311205",

pages = "91--102",

booktitle = "TLDI '12: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation",

publisher = "Association for Computing Machinery",

address = "United States",

note = "8th ACM SIGPLAN Workshop on Types in Language Design and Implementation 2012, TLDI'12 ; Conference date: 28-01-2012 Through 28-01-2012",

}

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. Association for Computing Machinery, pp. 91-102, 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation 2012, Philadelphia, Pennsylvania, United States, 28/01/12. https://doi.org/10.1145/2103786.2103798

TY - GEN

T1 - Row-based effect types for database integration

AU - Lindley, Sam

AU - Cheney, James

PY - 2012/1

Y1 - 2012/1

N2 - 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.

AB - 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.

KW - Effect types

KW - Language integrated query

KW - Normalisation

KW - Polymorphism

KW - Row types

UR - http://www.scopus.com/inward/record.url?scp=84857861472&partnerID=8YFLogxK

U2 - 10.1145/2103786.2103798

DO - 10.1145/2103786.2103798

M3 - Conference contribution

AN - SCOPUS:84857861472

SN - 9781450311205

SP - 91

EP - 102

BT - TLDI '12: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation

PB - Association for Computing Machinery

T2 - 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation 2012

Y2 - 28 January 2012 through 28 January 2012

ER -

Row-based effect types for database integration

Abstract

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this