Programming languages;
programming-language design; type systems and type safety;
programming language implementations, including interpreters,
compilers, and run-time code generation;
functional and other higher-order programming languages;
multi-stage programming;
denotational, operational, and monadic semantics.
Professional activities
Participating in the 12th meeting of
the IFIP
working group on Program Generation (WG 2.11), Minnesota,
USA, June 2013.
Member of the ENTRA
project, a European Commission Framework 7 project on
"Whole-Systems Energy Transparency", 2012–15.