The Algebra of Patterns (Extended Version)
(arxiv.org)
Pattern matching is a popular feature in functional, imperative and object-oriented programming languages.
Pattern matching is a popular feature in functional, imperative and object-oriented programming languages.