[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
On Tuesday 18th June (next week), we are holding an informal workshop on
programming with handlers for algebraic effects, in Cambridge (further
details below). We appreciate that this is rather short notice, but
thought it may be of interest to some readers of the types list in the
vicinity.
Let us know if you would like to attend.
Regards,
Sam & Sam
---
Programming with handlers
Tuesday 18th June
Cambridge, UK
For a long time we have been aware of the algebraic structure of
computation and its relationship with monads. More recently the
algebraic structure of computation has been used as a basis for new
programming languages and new idioms for existing languages. Broadly
speaking, the programmer first specifies a class of effects using an
algebraic signature, and then specifies how those effects may be dealt
with using an algebraic structure for that signature (a "handler").
We've invited talks from the following groups. They have all been
involved in designing and implementing language support for
handlers. We hope to have time for discussion and demos too.
Matija Pretnar / Andrej Bauer (Ljubljana)
Eff: http://arxiv.org/abs/1203.1539v1
Edwin Brady (St Andrews)
http://www.cs.st-andrews.ac.uk/~eb/drafts/effects.pdf
Ohad Kammar / Sam Lindley / Nicholas Oury (Cambridge, Edinburgh)
http://homepages.inf.ed.ac.uk/slindley/papers/handlers-draft-march2013.pdf
Conor McBride (Strathclyde)
Frank: https://personal.cis.strath.ac.uk/conor.mcbride/pub/Frank/TFM.pdf
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
