A computational formalization for partial evaluation.
Saved in:
| Title: | A computational formalization for partial evaluation. |
|---|---|
| Authors: | HATCLIFF, JOHN1, DANVY, OLIVIER2 |
| Source: | Mathematical Structures in Computer Science. 10/01/1997, Vol. 7 Issue 5, p507-541. 35p. |
| Database: | Mathematics Source |
| ISSN: | 09601295 |
|---|---|
| DOI: | 10.1017/s0960129597002405 |