Type Specialisation for the lambda-calculus, or A New Paradigm for Partial Evaluation based on Type Inference

Cached

Download Links

by John Hughes
Citations:17 - 3 self