Recursive monadic bindings

DOI10.1145/351240.351257zbMath1321.68151OpenAlexW2013260261MaRDI QIDQ2943368

Levent Erkök, John Launchbury

Publication date: 11 September 2015

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (7)

Semantics of value recursion for Monadic Input/Output ⋮ Compilation of extended recursion in call-by-value functional languages ⋮ A coinductive calculus for asynchronous side-effecting processes ⋮ An abstract monadic semantics for value recursion ⋮ A Coinductive Calculus for Asynchronous Side-Effecting Processes ⋮ Traced Premonoidal Categories ⋮ Comonadic Notions of Computation

This page was built for publication: Recursive monadic bindings