Date(s) - 29/10/2014
The meeting on Effects and Coeffects systems, and their use for resource control will be held at the School of Computing, University of Dundee, on Wednesday 29 October 2014. It is an half day event on the theme of effects and coeffects and their use for resource analysis and programming.
The workshop will provide an informal forum for researcher in programming languages to discuss recent work and new ideas on effect and coeffect systems and how they can be used to control the resource consumption of programs and to facilitate programming in pure functional programming languages. It aims to bring together researchers from different areas of programming language and semantics in order to foster links among researchers interested in the theory and application of effect and coeffect systems.
The meeting is organised by Marco Gaboardi, University of Dundee. Please contact Marco if you wish to attend the meeting.