Sciweavers

1097 search results - page 18 / 220
» Partial evaluation of Maple
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