The Algebra of Patterns. - David Binder; Lean Ermantraut (ECOOP, 2025)

The Algebra of Patterns - Rocq Proofs (Artifact). - David Binder; Lean Ermantraut (Dagstuhl Artifacts Ser., 2025)

The Algebra of Patterns (Extended Version). - David Binder; Lean Ermantraut (CoRR, 2025)