Information effects
From MaRDI portal
Publication:2942859
DOI10.1145/2103656.2103667zbMath1321.68267OpenAlexW4231368424MaRDI QIDQ2942859
Publication date: 11 September 2015
Published in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2103656.2103667
Related Items (13)
Reversibility in the higher-order \(\pi\)-calculus ⋮ From reversible programs to univalent universes and back ⋮ Reversible effects as inverse arrows ⋮ From reversible programming languages to reversible metalanguages ⋮ Generating Reversible Circuits from Higher-Order Functional Programs ⋮ Fundamentals of reversible flowchart languages ⋮ Clean Reversible Simulations of Ranking Binary Trees ⋮ A class of recursive permutations which is primitive recursive complete ⋮ Join inverse categories and reversible recursion ⋮ Splitting Recursion Schemes into Reversible and Classical Interacting Threads ⋮ Computing with Semirings and Weak Rig Groupoids ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ Algeo: an algebraic approach to reversibility
This page was built for publication: Information effects
