En garde! Unguarded iteration for reversible computation in the delay monad
author
Kaarsgaard, Robin
statement of authorship
Robin Kaarsgaard, Niccolò Veltri
source
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 366-384
series
Notes in computer science book series ; 11825
Programming and software engineering ; 11825
conference name, date
MPC 2019 : 13th International Conference on Mathematics of Program Construction, October 7–9, 2019
conference location
Porto, Portugal
ISSN
0302-9743
ISBN
978-3-030-33635-6
notes
Bibliogr.: 41 ref
TTÜ department
language
inglise
subject term
keyword
reversible computation
iteration
delay monad
Reserch Group
Kaarsgaard, R., Veltri, N. En garde! Unguarded iteration for reversible computation in the delay monad // Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019 : proceedings. Cham : Springer Nature, 2019. p. 366-384. (Notes in computer science book series ; 11825, Programming and software engineering ; 11825).