Programming Type-Safe Transformations Using Higher-Order Abstract Syntax.

Olivier Savary Blanger, Stefan Monnier, Brigitte Pientka

Browse the full CPP paper archive.