Strongly-Normalizing Higher-Order Relational Queries
From MaRDI portal
(Redirected from Publication:5043580)
Recommendations
- Query lifting. Language-integrated query for heterogeneous nested collections
- A practical theory of language-integrated query
- Language-integrated query with nested data structures and grouping
- Normal forms and conservative extension properties for query languages over collection types
- The complexity of higher-order queries
Cites work
- scientific article; zbMATH DE number 2185670 (Why is no real title available?)
- scientific article; zbMATH DE number 42059 (Why is no real title available?)
- A -calculus with explicit weakening and explicit substitution
- A calculus of lambda calculus contexts
- A practical theory of language-integrated query
- Comprehending monads
- Conservativity of nested relational calculi with internal generic functions
- Dependent types and explicit substitutions: A meta-theoretical development
- Explicit substitutions
- Normal forms and conservative extension properties for query languages over collection types
- Optimizing object queries using an effective calculus
- Principles of programming with complex objects and collection types
- Query languages for bags and aggregate functions
- Strongly normalizing audited computation
- Term Rewriting and Applications
- The complexity of higher-order queries
- Typed Lambda Calculi and Applications
This page was built for publication: Strongly-Normalizing Higher-Order Relational Queries
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5043580)
