Pages that link to "Item:Q1233314"
From MaRDI portal
The following pages link to A partial evaluator, and its use as a programming tool (Q1233314):
Displaying 8 items.
- Essence of generalized partial computation (Q808278) (← links)
- Annotated bibliography on partial evaluation and mixed computation (Q1104069) (← links)
- Mixed computation of Prolog programs (Q1108777) (← links)
- A self-applicable partial evaluator and its use in incremental compilation (Q1108782) (← links)
- An efficient interpreter for the lambda-calculus (Q1158139) (← links)
- Mixed computation: potential applications and problems for study (Q1169808) (← links)
- (Q4339951) (← links)
- A partial evaluator for the untyped lambda-calculus (Q4939696) (← links)
