Programming Type-Safe Transformations Using Higher-Order Abstract Syntax (2013)

by O Savary-Belanger, S Monnier, B Pientka
Venue:In Certified Programs and Proofs, G. Gonthier and M. Norrish (Eds.). Lecture Notes in Computer Science