Sciweavers

2049 search results - page 24 / 410
» Normalization and Partial Evaluation
Sort
View
PEPM
1998
ACM
14 years 27 days ago
Partial Evaluation for the Lambda Calculus
Neil D. Jones, Carsten K. Gomard, Peter Sestoft