CoreFun: A typed functional reversible core language

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Standard

CoreFun : A typed functional reversible core language. / Jacobsen, Petur Andrias Højgaard; Kaarsgaard, Robin; Thomsen, Michael Kirkedal.

Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, 2018. s. 304-321 (Lecture notes in computer science, Bind 11106).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Harvard

Jacobsen, PAH, Kaarsgaard, R & Thomsen, MK 2018, CoreFun: A typed functional reversible core language. i Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, Lecture notes in computer science, bind 11106, s. 304-321, 10th International Conference on Reversible Computation, RC 2018, Leicester, Storbritannien, 12/09/2018. https://doi.org/10.1007/978-3-319-99498-7_21

APA

Jacobsen, P. A. H., Kaarsgaard, R., & Thomsen, M. K. (2018). CoreFun: A typed functional reversible core language. I Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings (s. 304-321). Springer. Lecture notes in computer science Bind 11106 https://doi.org/10.1007/978-3-319-99498-7_21

Vancouver

Jacobsen PAH, Kaarsgaard R, Thomsen MK. CoreFun: A typed functional reversible core language. I Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer. 2018. s. 304-321. (Lecture notes in computer science, Bind 11106). https://doi.org/10.1007/978-3-319-99498-7_21

Author

Jacobsen, Petur Andrias Højgaard ; Kaarsgaard, Robin ; Thomsen, Michael Kirkedal. / CoreFun : A typed functional reversible core language. Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, 2018. s. 304-321 (Lecture notes in computer science, Bind 11106).

Bibtex

@inproceedings{a0e6136c4945476eb923a8cdcdf861ba,
title = "CoreFun: A typed functional reversible core language",
abstract = "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.",
keywords = "Formal semantics, Functional programming, Programming languages, Reversible computation, Types",
author = "Jacobsen, {Petur Andrias H{\o}jgaard} and Robin Kaarsgaard and Thomsen, {Michael Kirkedal}",
year = "2018",
doi = "10.1007/978-3-319-99498-7_21",
language = "English",
isbn = "9783319994970",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "304--321",
booktitle = "Reversible Computation",
address = "Switzerland",
note = "10th International Conference on Reversible Computation, RC 2018 ; Conference date: 12-09-2018 Through 14-09-2018",

}

RIS

TY - GEN

T1 - CoreFun

T2 - 10th International Conference on Reversible Computation, RC 2018

AU - Jacobsen, Petur Andrias Højgaard

AU - Kaarsgaard, Robin

AU - Thomsen, Michael Kirkedal

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - Formal semantics

KW - Functional programming

KW - Programming languages

KW - Reversible computation

KW - Types

UR - http://www.scopus.com/inward/record.url?scp=85053514026&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-99498-7_21

DO - 10.1007/978-3-319-99498-7_21

M3 - Article in proceedings

AN - SCOPUS:85053514026

SN - 9783319994970

T3 - Lecture notes in computer science

SP - 304

EP - 321

BT - Reversible Computation

PB - Springer

Y2 - 12 September 2018 through 14 September 2018

ER -

ID: 203777951