@inproceedings{552302f798334d73aeeb7965676ba802,
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 queries must 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, row types, polymorphism",
author = "Sam Lindley and James Cheney",
year = "2012",
doi = "10.1145/2103786.2103798",
language = "English",
isbn = "978-1-4503-1120-5",
series = "TLDI '12",
publisher = "ACM",
pages = "91--102",
booktitle = "Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation",
}