Sciweavers

1089 search results - page 18 / 218
» Oracle-Based Partial Evaluation
Sort
View
AC
2000
Springer
15 years 2 months ago
Normalization and Partial Evaluation
Peter Dybjer, Andrzej Filinski
69
Voted
PPDP
1999
Springer
15 years 1 months ago
A Semantic Account of Type-Directed Partial Evaluation
Andrzej Filinski
PEPM
1998
ACM
15 years 1 months ago
Partial Evaluation for the Lambda Calculus
Neil D. Jones, Carsten K. Gomard, Peter Sestoft