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

by R Muller
Venue:In POPL '94 { Twenty- rst Annual ACM symposium on Principles of Programming Languages