sle2022/paper04

SLE 2022 paper:
Optimising First-Class Pattern Matching

Jeff Smits, Toine Hartman, Jesper Cockx

• DOI: 10.1145/3567512.3567519
• T4C: Vertical Transformation
  • The paper focuses on compilation/optimization techniques for first-class pattern matching.
• T5F: Performance
  • Its contribution is primarily about improving runtime efficiency of compiled pattern matches.
• T1B: Static Semantics
  • Pattern matching compilation interacts with static analysis/typing constraints in the frontend.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.