Type specialisation for the lambda calculus; or, a new paradigm for partial evaluation based on type inference (1996)

by J Hughes
Venue:Thiemann (Eds.), Partial Evaluation, Lecture Notes in Computer Science