A self-applicable partial evaluator for the lambda calculus (1990)

Cached

Download Links

by Neil D. Jones , Carsten K. Gomard , Peter Sestoft
Venue: International Conference on Computer Languages
Citations:12 - 3 self