Andrej Bauer: Coop
Abstract: I will present an early version of a prototype programming language Coop (pronounced as in "co-operation", not "where the chickens sleep") which implements computational effects using comodels of algebraic theories. The language also supports a notion of signal akin to signals in operating systems. These behave differently from exceptions. Coop makes the interaction with the external world crips and precise, and allows the programmer to make their own enclosures in which effectful code is run with a guarantee that it will get properly finalized.
This is joint work with Danel Ahman.