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.
If you have any comments, suggestions or related ideas, I'll be happy to hear from you at