Effects and Coeffects

Speaker: Alan Mycroft (Cambridge University, UK)
room: 4A05. IT University, Langgards Vej 7
date: Friday, June 9, 2017
time: ca. 10.45 (the talk will follow directly after Marieke Huisman's lecture in the same room)

Classic type systems essentially give types to procedures by giving the types of their parameters and their results. However, procedures can also have (side-) effects. These can be captured as part of the type of a procedure -- giving an "effect system".

More recently we showed how a dual notion of `coeffects' can similarly express contextual or execution-environmental requirements for a procedure. Examples include security levels, linearity constraints, and access to hardware resources.

These dual notions have associated dual semantic models as monads and comonads; these models give rise to program structuring mechanisms.

(FYI: At 1pm in Auditorium 1 a PhD defence of Iago Abal on finding bugs using effect systems will follow.)