Parametric higher-order abstract syntax for mechanized semantics (2008)

by A Chlipala
Venue:In: Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP’08