[Haskell-cafe] How to do reversible parsing?

[Johannes Waldmann]

Rendell and Ostermann,
Invertible syntax descriptions,
Haskell Symposium '10
https://doi.org/10.1145/1863523.1863525
https://hackage.haskell.org/package/invertible-syntax

For the general background, see, e.g.,

Grohne and Voigtländer 2017
Formalizing semantic bidirectionalization  ...
https://doi.org/10.1016/j.jlamp.2016.04.002

And there's a workshop series
on Bidirectional Transformations (from 2012 onwards)

- J.