Sciweavers

2049 search results - page 25 / 410
» Normalization and Partial Evaluation
Sort
View
RTA
1998
Springer
15 years 1 months ago
Higher-Order Rewriting and Partial Evaluation
Olivier Danvy, Kristoffer Høgsbro Rose
PEPM
1997
ACM
15 years 1 months ago
Scaling up Partial Evaluation for Optimizing the Sun Commercial RPC Protocol
Gilles Muller, Eugen-Nicolae Volanschi, Renaud Mar...
IFIP
1994
Springer
15 years 1 months ago
Evolving Algebras and Partial Evaluation
Yuri Gurevich, James K. Huggins