Non-linear Pattern Matching with Backtracking for Non-free Data Types
Abstract elided by the publisher.
Related papers
- Compiling regular patterns ICFP 2003
- On the Implementation of Construction Functions for Non-free Concrete Data Types ESOP 2007
- Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping ESOP 2024
- Pattern Matching with Abstract Data Types JFP 1993
- Haskell⁻¹: automatic function inversion in Haskell Haskell 2021
- Intensional datatype refinement: with application to scalable verification of pattern-match safety POPL 2021
- Fast partial evaluation of pattern matching in strings TOPLAS 2006
- Functional pearl: a smart view on datatypes ICFP 2015