Publications

Research

• Teaching: Multi-stage Programming

• GCSE/SAIG'02

• MetaOCaml

• Wanna do a PhD? Look here first!