Parsing

Last updated Apr 23, 2024

• Parsing via splice
• Parsing vs pretty-printing
• Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem (Mellies, Zeilberger, 2022)