En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad

Robin Kaarsgaard, Niccolò Veltri. En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad. In Graham Hutton, editor, Mathematics of Program Construction - 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings. Volume 11825 of Lecture Notes in Computer Science, pages 366-384, Springer, 2019. [doi]

Abstract

Abstract is missing.