An equational modeling of asynchronous concurrent programming

'Monads, and especially the notion of monads streams I will detail, provide both handy API and efficient programs'. This talk was given by David Janin, at Lambda Days. 

This talk was given by David Janin at Lambda Days.