Splitting Recursion Schemes into Reversible and Classical Interacting Threads. Matos, A. B., Paolini, L., & Roversi, L. In Yamashita, S. & Yokoyama, T., 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, 2021. Springer.
Splitting Recursion Schemes into Reversible and Classical Interacting Threads [link]Paper  doi  bibtex   
@inproceedings{MatosPR21,
  author       = {Armando B. Matos and
                  Luca Paolini and
                  Luca Roversi},
  editor       = {Shigeru Yamashita and
                  Tetsuo Yokoyama},
  title        = {Splitting Recursion Schemes into Reversible and Classical Interacting
                  Threads},
  booktitle    = {Reversible Computation - 13th International Conference, {RC} 2021,
                  Virtual Event, July 7-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12805},
  pages        = {204--213},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-79837-6\_12},
  doi          = {10.1007/978-3-030-79837-6\_12},
}

Downloads: 0