This is a list of current research topics.
Click on a topic title to view a description.
- Computational reflection
- Design and foundations
of modular and object-oriented languages and systems
- Logic and category theory
- Synthetic domain theory
- Foundations and calculi for meta-programming and staging
- Monadic metalanguages and computational effects