Database query languages embedded in the typed lambda calculus
From MaRDI portal
Publication:1923099
DOI10.1006/INCO.1996.0055zbMATH Open0856.68056OpenAlexW2106774480MaRDI QIDQ1923099FDOQ1923099
Authors: Gerd G. Hillebrand, Harry G. Mairson, 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
Recommendations
- Database query languages and functional logic programming
- Typed query languages for databases containing queries
- A class of bounded functions, a database language and an extended lambda calculus
- On the expressive power of database queries with intermediate types
- Deductive query languages for recursively typed complex objects
- scientific article; zbMATH DE number 194599
- scientific article; zbMATH DE number 1231466
- Implementation of logical query languages for databases
- Algebraic and calculus query languages for recursively typed complex objects
Cited In (11)
- Algebraic and calculus query languages for recursively typed complex objects
- Title not available (Why is that?)
- Light linear logic
- An analysis of the Core-ML language: Expressive power and type reconstruction
- Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms
- A structural approach to reversible computation
- A class of bounded functions, a database language and an extended lambda calculus
- The complexity of higher-order queries
- Typed query languages for databases containing queries
- Principles of programming with complex objects and collection types
- 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1923099)
