Kleisli

swMATH25390MaRDI QIDQ37129FDOQ37129

Authors scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website https://homepages.inf.ed.ac.uk/wadler/realworld/kleisli.html

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