Towards a reversible functional language
From MaRDI portal
Recommendations
Cited in
(45)- Linear programs in a simple reversible language.
- Implementing reversible object-oriented language features on reversible machines
- \(\mathsf{CoreFun}\): a typed functional reversible core language
- Encryption and reversible computations. Work-in-progress paper
- The fixed point problem of a simple reversible language
- A class of recursive permutations which is primitive recursive complete
- Algeo: an algebraic approach to reversibility
- A categorical foundation for structured reversible flowchart languages
- Reversible effects as inverse arrows
- From reversible programming languages to reversible metalanguages
- Reversibility in the higher-order \(\pi\)-calculus
- Reversible computing from a programming language perspective
- Join inverse categories as models of reversible recursion
- Garbage Collection for Reversible Functional Languages
- Describing and Optimising Reversible Logic Using a Functional Language
- Toward an energy efficient language and compiler for (partially) reversible algorithms
- Reversing parallel programs with blocks and procedures
- Isomorphic interpreters from logically reversible abstract machines
- Frugal encoding in reversible \(\mathcal{MOQA}\): a case study for Quicksort
- Reversible Flowchart Languages and the Structured Reversible Program Theorem
- A certified study of a reversible programming language
- A categorical foundation for structured reversible flowchart languages: soundness and adequacy
- Modular inference of linear types for multiplicity-annotated arrows
- Clean reversible simulations of ranking binary trees
- Join inverse categories and reversible recursion
- Reversible Functional Array Programming
- Towards a Unified Language Architecture for Reversible Object-Oriented Programming
- Inversion, iteration, and the art of dual wielding
- Mathematics of Program Construction
- Towards a taxonomy for reversible computation approaches
- Optimization of reversible control flow graphs
- Tail recursion transformation for invertible functions
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
- Reversible Top-Down Syntax Analysis
- Reversible Programs Have Reversible Semantics
- A small-step semantics for Janus
- Jeopardy: an invertible functional programming language
- Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language
- Categorical semantics of reversible pattern-matching
- Join inverse rig categories for reversible functional programming, and beyond
- Semantics for a Turing-complete reversible programming language with inductive types
- A Curry-Howard correspondence for linear, reversible computation
- CRIL: a concurrent reversible intermediate language
- A class of reversible primitive recursive functions
- Fundamentals of reversible flowchart languages
This page was built for publication: Towards a reversible functional language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2902497)
