Splitting Recursion Schemes into Reversible and Classical Interacting Threads

Armando B. Matos, Luca Paolini, Luca Roversi. Splitting Recursion Schemes into Reversible and Classical Interacting Threads. In Shigeru Yamashita, Tetsuo Yokoyama, editors, Reversible Computation - 13th International Conference, RC 2021, Virtual Event, July 7-8, 2021, Proceedings. Volume 12805 of Lecture Notes in Computer Science, pages 204-213, Springer, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.