Invertible Syntax without the Tuples (Functional Pearl)

Mathieu Boespflug, Arnaud Spiwack

In the seminal paper Functional unparsing, Olivier Danvy used continuation passing to reanalyse printf-like format strings as combinators. In the intervening decades, the conversat…