Parsing and reflective printing, bidirectionally
No abstract available.
Related papers
- Polytypic Compact Printing and Parsing ESOP 1999
- Invertible syntax descriptions: unifying parsing and pretty printing Haskell 2010
- Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages SLE 2018
- AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a single Grammar Definition with first-class LSP support SLE 2025
- Bidirectionalization transformation based on automatic derivation of view complement functions ICFP 2007
- Bidirectionalizing graph transformations ICFP 2010
- Biparsers: Exact Printing for Data Synchronisation POPL 2025
- CakeML: a verified implementation of ML POPL 2014