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