A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics (1992)

by C K Gomard
Venue:ACM TOPLAS