Monads, indexes and transformations

DOI10.1007/3-540-56610-4_73zbMATH Open1497.68091OpenAlexW1490169354MaRDI QIDQ5044745FDOQ5044745

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Notions of computation and monads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Program transformation and rewriting

Cited In (6)

• Comprehending monads
• Layer by layer -- combining monads
• Title not available (Why is that?)
• 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)