- Tree transducers / attribute grammars
- Formal tree language theory
- (Functional) programming
- Program transformation (fusion / deforestation)
- Program verification
- Structured document (XML) transformation
- Bidirectional transformation
See also the Publication page.
Keyword(s):
References: