Database query languages embedded in the typed lambda calculus
From MaRDI portal
Publication:1923099
DOI10.1006/inco.1996.0055zbMath0856.68056OpenAlexW2106774480MaRDI QIDQ1923099
Harry G. Mairson, Gerd G. Hillebrand, Paris C. Kanellakis
Publication date: 1 October 1996
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/163f3f3269546c9e95b1dbe246432b6f65fa546e
Related Items (7)
An analysis of the Core-ML language: Expressive power and type reconstruction ⋮ Principles of programming with complex objects and collection types ⋮ The complexity of higher-order queries ⋮ Light linear logic ⋮ Unnamed Item ⋮ A structural approach to reversible computation ⋮ An incremental algorithm for DLO quantifier elimination via constraint propagation
This page was built for publication: Database query languages embedded in the typed lambda calculus
