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

by Brigitte Pientka
Venue:In Principles of Programming Languages, POPL