Partial Evaluation

Partial evaluation and program transformations in general are quite difficult to understand for many students. GUPU tries to overcome this problem by making the access to partial evaluation as easy as possible. The partial evaluator Mixtus of Dan Sahlin has been integrated into GUPU.
**NEXT:Next.
[logprog|GUPU|UWN]