\(\mathsf{CoreFun}\): a typed functional reversible core language

DOI10.1007/978-3-319-99498-7_21OpenAlexW2888402443MaRDI QIDQ1796398

Robin Kaarsgaard, Michael Kirkedal Thomsen, Petur Andrias Højgaard Jacobsen

Publication date: 17 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-99498-7_21

zbMATH Keywords

typesformal semanticsprogramming languagesfunctional programmingreversible computation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Related Items (3)

Towards a taxonomy for reversible computation approaches ⋮ Tail recursion transformation for invertible functions ⋮ Algeo: an algebraic approach to reversibility

This page was built for publication: \(\mathsf{CoreFun}\): a typed functional reversible core language