Mechanizing the Metatheory of mini-XQuery
No abstract available.
DOI 10.1007/978-3-642-25379-9_21
Related papers
- Growing XQuery ECOOP 2003
- Context-Preserving XQuery Fusion APLAS 2010
- A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches ESOP 2015
- Constructive Galois connections: taming the Galois connection framework for mechanized metatheory ICFP 2016
- Extensible Metatheory Mechanization via Family Polymorphism PLDI 2023
- Towards a mechanized metatheory of standard ML POPL 2007
- Mechanizing metatheory in a logical framework JFP 2007
- Mechanizing Refinement Types POPL 2024