| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10328985 | Electronic Notes in Theoretical Computer Science | 2005 | 22 Pages |
Abstract
The construction builds on previous work on refocusing and on a functional correspondence between evaluators and abstract machines. It is also reversible.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Olivier Danvy,