CoreFun: A typed functional reversible core language
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
This paper presents CoreFun, a typed reversible functional language, which seeks to reduce typed reversible functional programming to its essentials. We present a complete formal definition of the language, including its formal semantics and type system, the latter of which is based on a combined reasoning logical system of unrestricted and relevantly typed terms, and allows special support for ancillary (read-only) variables through its unrestricted fragment. We show how, in many cases, the type system provides the possibility to statically check for the reversibility of programs. Finally, we detail how higher-level language features such as variants and type classes may be incorporated into CoreFun as syntactic sugar, such that CoreFun may be used as a core language for a reversible functional language in a more modern style.
Originalsprog | Engelsk |
---|---|
Titel | Reversible Computation : 10th International Conference, RC 2018, 2018, Proceedings |
Forlag | Springer |
Publikationsdato | 2018 |
Sider | 304-321 |
ISBN (Trykt) | 9783319994970 |
DOI | |
Status | Udgivet - 2018 |
Begivenhed | 10th International Conference on Reversible Computation, RC 2018 - Leicester, Storbritannien Varighed: 12 sep. 2018 → 14 sep. 2018 |
Konference
Konference | 10th International Conference on Reversible Computation, RC 2018 |
---|---|
Land | Storbritannien |
By | Leicester |
Periode | 12/09/2018 → 14/09/2018 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 11106 |
ISSN | 0302-9743 |
ID: 203777951