From reversible programming languages to reversible metalanguages
From MaRDI portal
Publication:2139051
DOI10.1016/J.TCS.2022.02.024OpenAlexW4213299234MaRDI QIDQ2139051
Robin Kaarsgaard, Tetsuo Yokoyama, Robert Glück
Publication date: 17 May 2022
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2022.02.024
Related Items (2)
Tail recursion transformation for invertible functions ⋮ Reversible computing from a programming language perspective
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Join inverse categories and reversible recursion
- Fundamentals of reversible flowchart languages
- Reversible computing and cellular automata -- a survey
- Restriction categories II: Partial map classification
- Reversible nondeterministic finite automata
- Condition/decision duality and the internal logic of extensive restriction categories
- En garde! Unguarded iteration for reversible computation in the delay monad
- Constructing a binary tree from its traversals by reversible recursion and iteration
- A structural approach to reversible computation
- Towards a Reversible Functional Language
- Information effects
- A Survey of Graphical Languages for Monoidal Categories
- Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial
- A Calculus for Local Reversibility
- Reversible Machine Code and Its Abstract Processor Architecture
- A Certified Study of a Reversible Programming Language
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy
- Traced monoidal categories
- Inversion, Iteration, and the Art of Dual Wielding
- Restriction categories III: colimits, partial limits and extensivity
This page was built for publication: From reversible programming languages to reversible metalanguages