Cited in
(17)- A formalization of SQL with nulls
- A descriptive type foundation for RDF Schema
- GHC
- CDuce
- criterion
- NESL
- Hop
- BioPortal
- Turtle
- HoTTSQL
- Links
- Strongly-Normalizing Higher-Order Relational Queries
- Comprehending Ringads
- An algebra for distributed Big Data analytics
- The complexity of higher-order queries
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products
- Capability-based localization of distributed and heterogeneous queries
This page was built for software: Kleisli
