The following pages link to (Q4791945):
Displaying 5 items.
- A partial evaluator for a parallel lambda language (Q1372879) (← links)
- Extending a partial evaluator which supports separate compilation (Q1583351) (← links)
- Correctness of on-line partial evaluation for a Pascal-like language (Q1806129) (← links)
- Partial evaluation of computation process, revisited. (Q1974454) (← links)
- Lenient evaluation and parallelism (Q2745735) (← links)