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.
https://github.com/lukeg101/mscprojectpublic
algebraic-effects calculating-compilers compilers derivation haskell type-system
Last synced: about 1 year ago
JSON representation
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.
- Host: GitHub
- URL: https://github.com/lukeg101/mscprojectpublic
- Owner: lukeg101
- License: gpl-3.0
- Created: 2017-08-29T08:03:27.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2018-05-10T21:09:54.000Z (about 8 years ago)
- Last Synced: 2025-05-08T17:54:01.526Z (about 1 year ago)
- Topics: algebraic-effects, calculating-compilers, compilers, derivation, haskell, type-system
- Language: Haskell
- Homepage: https://lukegeeson.com/projects/2017-09-29-alg-eff-calc-comp/
- Size: 167 KB
- Stars: 8
- Watchers: 3
- Forks: 0
- Open Issues: 0