swMATH25390MaRDI QIDQ37129FDOQ37129
Author name not available (Why is that?)
Official website: https://homepages.inf.ed.ac.uk/wadler/realworld/kleisli.html
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
- An algebra for distributed Big Data analytics
- Comprehending Ringads
- 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
