Partial Evaluation for the Lambda Calculus.

Neil D. Jones, Carsten K. Gomard, Peter Sestoft

Browse the full PEPM paper archive.