En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Robin Kaarsgaard' in GoogleThis author has not been identified. Look up 'Niccolò Veltri' in Google

runs on WebDSL