Monads, indexes and transformations

DOI10.1007/3-540-56610-4_73MaRDI QIDQ5044745zbMATH OpenOpenAlexFDO

Authors

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_73

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Substitution: A formal methods case study using monads and transformations
• Monadification of functional programs
• Notions of computation and monads
• Modular Monad Transformers
• Comprehending monads

Cites work

• scientific article; zbMATH DE number 3609632 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• Notions of computation and monads
• Program transformation and rewriting

Cited in

(7)

• A well-known representation of monoids and its application to the function ‘vector reverse’
• Comprehending monads
• Layer by layer -- combining monads
• scientific article; zbMATH DE number 2013584 (Why is no real title available?)
• Monadification of functional programs
• Iterative reflections of monads
• Substitution: A formal methods case study using monads and transformations

This page was built for publication: Monads, indexes and transformations

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