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
Copyright © 1999-2020 by the contributing authors.
All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback