Implementation of Lazy Pattern Matching Algorithms
Abstract elided by the publisher.
Related papers
- GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness ICFP 2015
- The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite Systems ESOP 1990
- Calculating PSSM probabilities with lazy dynamic programming JFP 2006
- Power Series, Power Serious JFP 1999
- Pattern Matching with Abstract Data Types JFP 1993
- Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs POPL 1984
- The logic of demand in Haskell JFP 2005
- Experience with an Applicative String Processing Language POPL 1980