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: 9 months 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 (over 8 years ago)
- Default Branch: master
- Last Pushed: 2018-05-10T21:09:54.000Z (over 7 years ago)
- Last Synced: 2025-05-08T17:54:01.526Z (9 months 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