Towards a Reversible Functional Language

DOI10.1007/978-3-642-29517-1_2zbMath1407.68075DBLPconf/rc/YokoyamaAG11OpenAlexW1470114689WikidataQ62038237 ScholiaQ62038237MaRDI QIDQ2902497

Robert Glück, Tetsuo Yokoyama, Holger Bock Axelsen

Publication date: 20 August 2012

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29517-1_2

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (20)

Reversibility in the higher-order \(\pi\)-calculus ⋮ Modular Inference of Linear Types for Multiplicity-Annotated Arrows ⋮ A categorical foundation for structured reversible flowchart languages ⋮ Reversible effects as inverse arrows ⋮ From reversible programming languages to reversible metalanguages ⋮ Fundamentals of reversible flowchart languages ⋮ 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 ⋮ Clean Reversible Simulations of Ranking Binary Trees ⋮ Reversible computing from a programming language perspective ⋮ A class of recursive permutations which is primitive recursive complete ⋮ Join inverse categories and reversible recursion ⋮ Towards a Unified Language Architecture for Reversible Object-Oriented Programming ⋮ A categorical foundation for structured reversible flowchart languages: Soundness and adequacy ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ Garbage Collection for Reversible Functional Languages ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ Algeo: an algebraic approach to reversibility

This page was built for publication: Towards a Reversible Functional Language