High-Fidelity Metaprogramming with Separator Syntax Trees

POPL 2020