Algebraic Effects for Calculating Compilers
Masters Thesis, University of Oxford
My Masters project combined the areas of calculating compilers and algebraic effects a la carte in order to capture computational effects of compilers using algebraic handlers and thus fix correctness specifications when deriving compiler and virtual machine definitions.
The project used Haskell and the code is available here.
I presented a summary of the work at the International Conference on Functional Programming Student Research Competition (undergraduate category). A copy of the poster itself can be found here.
Later I presented at the 7th South of England Regional Programming Languages Seminar (S-REPLS), hosted at the University of Warwick. More details can be found here.