Research Area(s)
- Programming languages
- Aspect-oriented programming
- Multi-core computation
- Computational reflection
- Compilers and interpreters
Research
game semantics language programming semantics type theory
Semantics, types, logic, modularity, and language design.