Recursive monadic bindings
From MaRDI portal
Publication:2943368
DOI10.1145/351240.351257zbMath1321.68151MaRDI QIDQ2943368
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
68N18: Functional programming and lambda calculus
Related Items
Traced Premonoidal Categories, An abstract monadic semantics for value recursion, Semantics of value recursion for Monadic Input/Output, A coinductive calculus for asynchronous side-effecting processes, Compilation of extended recursion in call-by-value functional languages, Comonadic Notions of Computation, A Coinductive Calculus for Asynchronous Side-Effecting Processes