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,