On proving syntactic properties of CPS programs (1999)

by O Danvy, B Dza c, F Pfenning
Venue:in: 3rd Internat. Workshop on Higher-Order Operational Techniques in Semantics, Electronic Notes in Theoretical Computer Science