En garde! Unguarded iteration for reversible computation in the delay monad

DOI10.1007/978-3-030-33636-3_13zbMath1434.68088OpenAlexW2980404066MaRDI QIDQ2176686

Niccolò Veltri, Robin Kaarsgaard

Publication date: 5 May 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-33636-3_13

zbMATH Keywords

iterationreversible computationdelay monad

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other nonclassical models of computation (68Q09)

Related Items (1)

From reversible programming languages to reversible metalanguages

This page was built for publication: En garde! Unguarded iteration for reversible computation in the delay monad