A type-theoretic foundation for programming with higher-order abstract syntax and firstclass substitutions (2008)

by B Pientka
Venue:In Proceedings of the 35th ACM SIGPLAN Symposium on Principles of Programming Languages