Pages that link to "Item:Q2902497"
From MaRDI portal
The following pages link to Towards a Reversible Functional Language (Q2902497):
Displaying 17 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Join inverse categories and reversible recursion (Q511931) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
- Reversible effects as inverse arrows (Q2134817) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Join Inverse Categories as Models of Reversible Recursion (Q2811333) (← links)
- Garbage Collection for Reversible Functional Languages (Q2822492) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)
- Clean Reversible Simulations of Ranking Binary Trees (Q5112174) (← links)
- Towards a Unified Language Architecture for Reversible Object-Oriented Programming (Q5162604) (← links)
- Inversion, Iteration, and the Art of Dual Wielding (Q5237212) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)
