BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Coeffects: Unified static analysis of context-dependence  - Tomas 
 Petricek (University of Cambridge)
DTSTART:20130701T120000Z
DTEND:20130701T130000Z
UID:TALK46104@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:Monadic effect systems provide a unified way of tracking effec
 ts of computations\, but there is no unified mechanism for tracking how co
 mputations rely on the environment in which they are executed. This is bec
 oming an important problem for modern software -- we need to track where d
 istributed computations run\, which resources a program uses and how they 
 use other capabilities of the environment. We consider three examples of c
 ontext-dependence analysis: liveness analysis\, tracking the use of implic
 it parameters\, and calculating caching requirements for dataflow programs
 . Informed by these cases\, we present a unified calculus for tracking con
 text dependence in functional languages together with a categorical semant
 ics based on indexed comonads. We believe that indexed comonads are the ri
 ght foundation for constructing context-aware languages and type systems a
 nd that following an approach akin to monads can lead to a widespread use 
 of the concept.\n\nJoint work with Dominic Orchard & Alan Mycroft.\nThis i
 s a practise talk for ICALP 2013.
LOCATION:SS03\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR