Kleisli
From MaRDI portal
Software:37129
No author found.
Related Items (8)
Strongly-Normalizing Higher-Order Relational Queries ⋮ Comprehending Ringads ⋮ Capability-based localization of distributed and heterogeneous queries ⋮ An algebra for distributed Big Data analytics ⋮ Generic multiset programming with discrimination-based joins and symbolic Cartesian products ⋮ The complexity of higher-order queries ⋮ A descriptive type foundation for RDF Schema ⋮ A formalization of SQL with nulls
This page was built for software: Kleisli