Compositional references for stateful functional programming

DOI10.1145/258948.258969MaRDI QIDQ5348878zbMATH OpenOpenAlexFDO

Authors Koji Kagawa

Publication date 21 August 2017

Published in Proceedings of the second ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/258948.258969

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Comprehending monads
• Adjustable References
• Monads for incremental computing
• Monadic encapsulation of effects: a revised approach (extended version)
• When is a functional program not a functional program?

Cited in

(1)

• Notions of bidirectional computation and entangled state monads

This page was built for publication: Compositional references for stateful functional programming

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