Pages that link to "Item:Q2902497"
From MaRDI portal
The following pages link to Towards a Reversible Functional Language (Q2902497):
Displaying 23 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)
- Describing and Optimising Reversible Logic Using a Functional Language (Q2830051) (← 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)
- A small-step semantics for Janus (Q6637592) (← links)
- Jeopardy: an invertible functional programming language (Q6637593) (← links)
- Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language (Q6637597) (← links)
- Categorical semantics of reversible pattern-matching (Q6653745) (← links)
- Join inverse rig categories for reversible functional programming, and beyond (Q6653754) (← links)
