FliPpr: A Prettier Invertible Printing System
No abstract available.
Related papers
- Invertible syntax descriptions: unifying parsing and pretty printing Haskell 2010
- Formally Verified Linear-Time Invertible Lexing CAV 2026
- Prettier concurrency: purely functional concurrent revisions Haskell 2011
- A formal proof in Coq of a control function for the inverted pendulum CPP 2018
- Reconciling Partial and Local Invertibility ESOP 2024
- Sparcl: a language for partially-invertible computation ICFP 2020
- Sparcl: A language for partially invertible computation JFP 2024
- Invertible Linear Transforms of Numerical Abstract Domains SAS 2018