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.

Elsewhere online & offline

If you want to keep up to date, you can subscribe to my blog,
which includes my research posts via RSS. You can also follow @tomaspetricek on twitter.
For my other activities and projects that I am or was involved in, visit my
professional home page.

I'm active member of the F# developer community. I often come to
F#unctional Londoners meetings and
participate on StackOverflow.
Check out my recent F# Snippets web site. It is an online pastebin for the F# langauge that type-checks
posted snippets and generates nice JavaScript tooltips with type information.