A practical theory of language-integrated query

DOI10.1145/2500365.2500586zbMath1323.68102OpenAlexW2007397391MaRDI QIDQ5244819

Sam Lindley, James Cheney, Philip Wadler

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2500365.2500586

zbMATH Keywords

SQL\(\lambda\)-calculusLINQquotationF\#antiquotation

Mathematics Subject Classification ID

Database theory (68P15) Functional programming and lambda calculus (68N18)

Related Items (5)

Strongly-Normalizing Higher-Order Relational Queries ⋮ A Branding Strategy for Business Types ⋮ Capability-based localization of distributed and heterogeneous queries ⋮ Query lifting. Language-integrated query for heterogeneous nested collections ⋮ Language-integrated query with nested data structures and grouping

Uses Software

• Nikola
• F#

This page was built for publication: A practical theory of language-integrated query