Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.
Explore la théorie et les applications des transformations conformales, couvrant les transformations conformales spéciales et les transformations isomorphiques.