A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches
Abstract elided by the publisher.
Related papers
- XQuery and static typing: tackling the problem of backward axes ICFP 2015
- A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization ECOOP 2015
- Pattern Matching in AI Compilers and Its Formalization CGO 2025
- A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning OOPSLA 2022
- The pattern calculus TOPLAS 2004
- The essence of XML POPL 2003
- Wellfounded recursion with copatterns: a unified approach to termination and productivity ICFP 2013
- Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus Haskell 2024