Comprehending Ringads

DOI10.1007/978-3-319-30936-1_7MaRDI QIDQ3188283zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3837968
• For Matthias Schramm on his sixty-fifth birthday
• On the 60th Birthday of V. A. Vatutin
• scientific article; zbMATH DE number 3039092
• Ray W. Ogden
• scientific article; zbMATH DE number 1088076
• The sixtieth birthday of Jean-Marc Deshouillers
• scientific article; zbMATH DE number 4156399
• The 60th birthday of A.I. Kibzun

Cites work

• scientific article; zbMATH DE number 3976287 (Why is no real title available?)
• scientific article; zbMATH DE number 3486973 (Why is no real title available?)
• scientific article; zbMATH DE number 2080478 (Why is no real title available?)
• scientific article; zbMATH DE number 194911 (Why is no real title available?)
• Bounded fixpoints for complex objects
• Coeffects: a calculus of context-dependent computation
• Comprehending monads
• Effects as sessions, sessions as effects
• Generic multiset programming with discrimination-based joins and symbolic Cartesian products
• Generic trace semantics and graded monads
• Notions of computation and monads
• Optimizing object queries using an effective calculus
• Parametric effect monads and semantics of effect systems
• Principles of programming with complex objects and collection types
• Towards a formal theory of graded monads

Cited in

(8)

• Unifying graded and parameterised monads
• scientific article; zbMATH DE number 2090024 (Why is no real title available?)
• Query lifting. Language-integrated query for heterogeneous nested collections
• Iterating on multiple collections in synchrony
• Efficient iterative programs with distributed data collections
• Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory
• A divertimento on MonadPlus and nondeterminism
• An algebra for distributed Big Data analytics

Describes a project that uses

Uses Software

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

This page was built for publication: Comprehending Ringads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3188283)