Exercises on Program Specialisation
- Specialising the powerfunction
- Specialising a Lambda-Interpreter
- CPS Conversion by Specialising an
Interpreter
- Interpreting an Imperative Language
- Datatypes and Case
- A Simple Partial Evaluator
- Type Specialisation
Last modified: Thu Sep 25 13:30:24 MET DST 1997