Note: The TU Delft tutorial of 20-11-2006 will start at 9:30!
Program
- 10.00 - 10.05: Introduction
- 10.05 - 10.45: Architecture & infrastructure
- 10.45 - 11:00: Break
- 11.00 - 11.45: Rewriting strategies
- 11.45 - 12.15: Type-unifying strategies
- 13.15 - 14.00: Context-sensitive transformations
- 14.00 - 14.15: Break
- 14.15 - 16.00: Practical exercise
- 16.00 - 16.15: Summary & perspective