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

by C K Gomard
Venue:ACM Trans. Program. Lang. Syst