[Haskell-cafe] How to do reversible parsing?

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Sun Jan 3 01:58:12 UTC 2021


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.




More information about the Haskell-Cafe mailing list