https://github.com/lukeg101/mscprojectpublic

Masters Thesis, University of Oxford. Research project combining Calculating Compilers and Algebraic Effects using Haskell, supervised by Jeremy Gibbons. Presented work at the International Conference on Functional Programming Student Research Competition and the 7th South of England Regional Programming Languages Seminar.

algebraic-effects calculating-compilers compilers derivation haskell type-system

Last synced: 08 May 2025