Monads for incremental computing
From MaRDI portal
Publication:2949188
DOI10.1145/581478.581482zbMath1322.68036OpenAlexW2011055092MaRDI QIDQ2949188
Publication date: 7 October 2015
Published in: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/581478.581482
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (3)
Minimal on-line labelling ⋮ Pruning with improving sequences in lazy functional programs ⋮ On the parameterized complexity of dynamic problems
This page was built for publication: Monads for incremental computing
