A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs.

Yuting Wang, Gopalan Nadathur

Browse the full ESOP paper archive.