Strong normalization by type-directed partial evaluation and run-time code generation (1998)

by Vincent Balat, Olivier Danvy
Venue:Proceedings of the Second International Workshop on Types in Compilation, number 1473 in Lecture Notes in Computer Science