Inversion, Iteration, and the Art of Dual Wielding

Kaarsgaard, Robin

doi:10.1007/978-3-030-21500-2_3

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

2022

Publication Types

Select...

Article2

Other1

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This paper will be published in the proceedings of MFPS XXXVII URL: https://www.coalg.org/calco-mfps2021/mfps/ This categorical framework has recently been put to use to develop the semantics of specific reversible programming constructs and concrete reversible languages: analysis of recursion in the context of reversibility [23,24,25], formalization of reversible flowchart languages [26,27], analysis of side-effects [28,29], etc. Interestingly enough however, the adequacy of the developed categorical constructs with reversible functional programming languages has been seldom studied.…”

Section: Introductionmentioning

confidence: 99%

Categorical Semantics of Reversible Pattern-Matching

Chardonnet,

Lemonnier,

Valiron

2021

Preprint

View full text Add to dashboard Cite

This paper is concerned with categorical structures for reversible computation. In particular, we focus on a typed, functional reversible language based on Theseus. We discuss how join inverse rig categories do not in general capture pattern-matching, the core construct Theseus uses to enforce reversibility. We then derive a categorical structure to add to join inverse rig categories in order to capture pattern-matching. We show how such a structure makes an adequate model for reversible pattern-matching.

show abstract