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.

Looking nervous at the ICFP SRC session on the Monday of ICFP.

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.