Higher order partial evaluation – hope for the lambda calculus (1989)

by C Gomard