The Algebra of Patterns (Extended Version)

David Binder, Lean Ermantraut

Pattern matching is a popular feature in functional, imperative and object-oriented programming languages. Language designers should therefore invest effort in a good design for pa…