Jeopardy: an invertible functional programming language
From MaRDI portal
Publication:6637593
DOI10.1007/978-3-031-62076-8_9MaRDI QIDQ6637593
Joachim Tilsted Kristensen, Michael Kirkedal Thomsen, Robin Kaarsgaard
Publication date: 13 November 2024
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- The universal resolving algorithm and its correctness: Inverse computation in a functional language
- Cauder: a causal-consistent reversible debugger for Erlang
- \(\mathsf{CoreFun}\): a typed functional reversible core language
- Reversible effects as inverse arrows
- Reversible computing from a programming language perspective
- Reverse Code Generation for Parallel Discrete Event Simulation
- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics
- Towards a Reversible Functional Language
- Irreversibility and Heat Generation in the Computing Process
- The size-change principle for program termination
- Logical Reversibility of Computation
- <scp>Sparcl</scp>: A language for partially invertible computation
- Tail recursion transformation for invertible functions
- Bennett and Stinespring, together at last
This page was built for publication: Jeopardy: an invertible functional programming language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6637593)
