Extending the Quantitative Pattern-Matching Paradigm
Abstract elided by the publisher.
Related papers
- ActorSpaces: An Open Distributed Programming Paradigm PPoPP 1993
- Validating Soundness and Completeness in Pattern-Match Coverage Analyzers OOPSLA 2025
- Extending monads with pattern matching Haskell 2011
- OMeta: an object-oriented language for pattern matching DLS 2007
- Denotational Semantics of a Goal-Directed Language TOPLAS 1992
- Reconciling exhaustive pattern matching with objects PLDI 2013
- Montre: A Tool for Monitoring Timed Regular Expressions CAV 2017
- Regular expression patterns ICFP 2004