Calculating Compilers at S-REPLS7
Calculating Compilers with Algebraic effects, here I start the derivation process that leads to compilers that are correct by construction.

Slides for the presentation of my masters project at the 7th South of England Regional Programming Languages Seminar S-REPLS7, hosted at the University of Warwick in September 2017.

I presented an introduction to the work on Algebraic Effects for Calculating Compilers for my masters project at the University of Oxford.

The slides can be found here.