swMATH19037MaRDI QIDQ30868FDOQ30868
Author name not available (Why is that?)
Official website: http://www.cs.indiana.edu/~sabry/papers/theseus.pdf
Cited In (13)
- DEMONIC
- Algeo
- A certified study of a reversible programming language
- A class of recursive permutations which is primitive recursive complete
- Computing with semirings and weak rig groupoids
- Join inverse categories as models of reversible recursion
- Reversible effects as inverse arrows
- LRinv
- Garbage Collection for Reversible Functional Languages
- CauDEr
- Join inverse categories and reversible recursion
- Inversion, iteration, and the art of dual wielding
- Algeo: an algebraic approach to reversibility
This page was built for software: Theseus
