Monadification of functional programs

DOI10.1016/J.SCICO.2004.03.004MaRDI QIDQ1887670zbMATH OpenOpenAlexFDO

Authors Martin Erwig, Deling Ren

Publication date 22 November 2004

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2004.03.004

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Modular Monad Transformers
• Transforming functional logic programs into monadic functional programs
• Monads, indexes and transformations
• Lightweight monadic programming in ML
• Monads in action

Cited in

(13)

• Compositions of programs that induce special monotonic functions
• Side-effect localization for lazy, purely functional languages via aspects
• Monads for the formalization of a pattern matching procedure
• Declarative pearl: deriving monadic quicksort
• Monadic augment and generalised short cut fusion
• Transforming functional logic programs into monadic functional programs
• scientific article; zbMATH DE number 5598380 (Why is no real title available?)
• Modular Monad Transformers
• scientific article; zbMATH DE number 2112364 (Why is no real title available?)
• Monads, indexes and transformations
• Lightweight monadic programming in ML
• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• Monadic augment and generalised short cut fusion

This page was built for publication: Monadification of functional programs

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