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
Comments are welcome!
If you have any comments, suggestions or related ideas, I'll be happy to hear from you! Send me an email at email@example.com or get in touch via Twitter at @tomaspetricek.
Published: Saturday, 17 September 2011, 12:00 AM
Author: Tomas Petricek
Typos: Send me a pull request!