Database query languages embedded in the typed lambda calculus
From MaRDI portal
(Redirected from Publication:1923099)
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
(12)- Typed query languages for databases containing queries
- A class of bounded functions, a database language and an extended lambda calculus
- A structural approach to reversible computation
- scientific article; zbMATH DE number 1086723 (Why is no real title available?)
- An analysis of the Core-ML language: Expressive power and type reconstruction
- The complexity of higher-order queries
- scientific article; zbMATH DE number 7561616 (Why is no real title available?)
- Light linear logic
- Simply typed convertibility is \textsc{Tower}-complete even for safe lambda-terms
- Principles of programming with complex objects and collection types
- Algebraic and calculus query languages for recursively typed complex objects
- 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)
