“…If pattern-matching can be added to reversible imperative languages [18], it is particularly relevant in the context of functional languages where it is one of the core construct needed for manipulating structured data. This is for instance emphasized by the several existing languages making use of it [14,15,12,16,13,32]. In the literature, pattern-matching has either been considered in the context of a Set-based semantics [18], or more generally in categorical models making heavy use of rig structures [33] or co-products [25,31] to represent it.…”