Pages that link to "Item:Q672333"
From MaRDI portal
The following pages link to Principles of programming with complex objects and collection types (Q672333):
Displaying 26 items.
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products (Q656874) (← links)
- A descriptive type foundation for RDF Schema (Q739626) (← links)
- Database query languages and functional logic programming (Q867491) (← links)
- Well-definedness and semantic type-checking for the nested relational calculus (Q870267) (← links)
- The foundation of self-developing blob machines for spatial computing (Q933442) (← links)
- A query language for NC (Q1376409) (← links)
- Models of approximation in databases (Q1389445) (← links)
- Domain-independent queries on databases with external functions (Q1389449) (← links)
- Bounded fixpoints for complex objects (Q1392283) (← links)
- Expressive power of SQL. (Q1401278) (← links)
- Incremental recomputation in local languages. (Q1401928) (← links)
- Local properties of query languages (Q1575140) (← links)
- A formalization of SQL with nulls (Q2102947) (← links)
- Query lifting. Language-integrated query for heterogeneous nested collections (Q2233480) (← links)
- Structural recursion as a query language on lists and ordered trees (Q2272218) (← links)
- MGS (Q2841247) (← links)
- (Q2844062) (← links)
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads (Q2864158) (← links)
- Semantic subtyping with an SMT solver (Q2913944) (← links)
- Provenance as dependency analysis (Q3103615) (← links)
- Comprehending Ringads (Q3188283) (← links)
- Expressivity and Complexity of MongoDB Queries (Q3305353) (← links)
- Capability-based localization of distributed and heterogeneous queries (Q4577810) (← links)
- Strongly-Normalizing Higher-Order Relational Queries (Q5043580) (← links)
- Fragments of Bag Relational Algebra: Expressiveness and Certain Answers (Q5091118) (← links)
- Iterating on multiple collections in synchrony (Q5101923) (← links)
