Research area: Programming languages

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