Sciweavers

ESOP
1994
Springer
15 years 29 days ago
Compilation of Head and Strong Reduction
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
Pascal Fradet