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 tomas@tomasp.net or get in touch via Twitter at @tomaspetricek.