Effect and coeffect type systems (First-year PhD report)
Supervised by Alan Mycroft
Computer Laboratory, University of Cambridge, 2011
The research goal discussed in the report is to use types in an ML-style language to track additional properties of computations including various kinds of effects (communication, memory access) and coeffects (how a computation depends on a context). The document briefly summarizes the work done during the first-year (including the work on joinads and coeffects) and it proposes future research projects.
Report and more information
- Download the report (PDF)
- Read more about coeffects in a ICALP 2013 paper
- Read more about joinads in a Haskell 2011 paper