Monads, indexes and transformations

DOI10.1007/3-540-56610-4_73zbMath1497.68091OpenAlexW1490169354MaRDI QIDQ5044745

No author found.

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)

Cites Work

• Notions of computation and monads
• Program transformation and rewriting
• Unnamed Item
• Unnamed Item