A staging calculus and its application to the verification of translators (1994)

by R Muller
Venue:In Conference Record of POPL ’94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages