Comprehending Ringads

DOI10.1007/978-3-319-30936-1_7zbMath1343.68058OpenAlexW2342139519MaRDI QIDQ3188283

Jeremy Gibbons

Publication date: 17 August 2016

Published in: A List of Successes That Can Change the World (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-30936-1_7

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A divertimento on MonadPlus and nondeterminism ⋮ An algebra for distributed Big Data analytics ⋮ Iterating on multiple collections in synchrony ⋮ Unnamed Item

Uses Software

• CLEAN
• GHC
• GitHub
• Kleisli
• Links
• SETL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generic multiset programming with discrimination-based joins and symbolic Cartesian products
• Principles of programming with complex objects and collection types
• Notions of computation and monads
• Bounded fixpoints for complex objects
• Towards a Formal Theory of Graded Monads
• Coeffects
• Effects as sessions, sessions as effects
• Optimizing object queries using an effective calculus
• Comprehending monads
• Generic Trace Semantics and Graded Monads.
• Parametric effect monads and semantics of effect systems