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

by John Hughes
Venue:In Danvy et al