Translation Correctness for First-Order Object-Oriented Pattern Matching
Abstract elided by the publisher.
Related papers
- Decomposition diversity with symmetric data and codata POPL 2020
- The Algebra of Patterns ECOOP 2025
- HydroJ: object-oriented pattern matching for evolvable distributed systems OOPSLA 2003
- OMeta: an object-oriented language for pattern matching DLS 2007
- A case for DOT: theoretical foundations for objects with pattern matching and GADT-style reasoning OOPSLA 2022
- Patterns as objects in grace DLS 2012
- Reconciling exhaustive pattern matching with objects PLDI 2013
- Elaborating dependent (co)pattern matching: No pattern left behind JFP 2020