Categorical Semantics of Reversible Pattern-Matching - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Dates et versions

hal-03553872 , version 1 (03-02-2022)

Identifiants

Citer

Benoît Valiron, Kostia Chardonnet, Louis Lemonnier. Categorical Semantics of Reversible Pattern-Matching. Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021, Salzburg, Austria. pp.18-33, ⟨10.4204/EPTCS.351.2⟩. ⟨hal-03553872⟩
59 Consultations
0 Téléchargements

Altmetric

Partager

More