\(\mathsf{CoreFun}\): a typed functional reversible core language
type: Item
instance of: scholarly article
title: \(\mathsf{CoreFun}\): a typed functional reversible core language
DOI: 10.1007/978-3-319-99498-7_21
author: Petur Andrias Højgaard Jacobsen
author: Robin Kaarsgaard
author: Michael Kirkedal Thomsen
publication date: 2018-10-17T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 81P68
Mathematics Subject Classification ID: 94C10
zbMATH DE Number: 6957273
zbMATH Keywords: reversible computation
zbMATH Keywords: functional programming
zbMATH Keywords: programming languages
zbMATH Keywords: types
zbMATH Keywords: formal semantics
MaRDI profile type: Publication
full work available at URL: 978-3-319-99498-7 21
OpenAlex ID: W2888402443
Recommended article: Towards a Reversible Functional Language
Recommended article: The \(\aleph \)-calculus. A declarative model of reversible programming
Recommended article: Formal Methods in Software and Systems Modeling
Recommended article: CoCaml: Functional Programming with Regular Coinductive Types
Recommended article: Describing and Optimising Reversible Logic Using a Functional Language
Recommended article: Q3754604
Recommended article: Q4602236
Recommended article: Mathematics of Program Construction
Recommended article: General recursive functions in a very simply interpretable typed \(\lambda\)-calculus
Recommended article: A categorical foundation for structured reversible flowchart languages
description: scientific article; zbMATH DE number 6957273