The Negligible and Yet Subtle Cost of Pattern Matching
No abstract available.
Related papers
- Matching logic: the foundation of the K framework (invited talk) CPP 2020
- Extensible pattern matching via a lightweight language extension ICFP 2007
- Compiling pattern matching to in-place modifications GPCE 2021
- FORTE: Online DataFrame Query Optimizer CGO 2026
- Injective type families for Haskell Haskell 2015
- Shadow Profiling: Hiding Instrumentation Costs with Parallelism CGO 2007
- A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning OOPSLA 2022
- Pattern synonyms Haskell 2016