A practical theory of language-integrated query

DOI10.1145/2500365.2500586MaRDI QIDQ5244819zbMATH OpenOpenAlexFDO

Authors James Cheney, Sam Lindley, 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

\(\lambda\)-calculusantiquotationF\#LINQquotationSQL

Mathematics Subject Classification ID

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

Recommendations

• Towards a semantic query language
• scientific article; zbMATH DE number 176241
• Advances in Databases and Information Systems
• A query language for logic architectures
• Formal Semantics and Pragmatics for Natural Language Querying

Cited in

(10)

• Development of a virtual view for processing complex natural language queries
• Language-integrated query with nested data structures and grouping
• Query lifting. Language-integrated query for heterogeneous nested collections
• High-Level Web Data Abstraction Using Language Integrated Query
• A Branding Strategy for Business Types
• Capability-based localization of distributed and heterogeneous queries
• Strongly-Normalizing Higher-Order Relational Queries
• scientific article; zbMATH DE number 3303659 (Why is no real title available?)
• A query language for NC (extended abstract)
• Strongly normalizing higher-order relational queries

Describes a project that uses

Uses Software

• Nikola
• F#

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5244819)