Thursday, 18 September 2014, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: The logic of bunched implications corresponds to a variant of functional programming that can deal with resources. In this talk, I show how a large subset of this programming style can be embedded into Haskell as a library. I discuss some of the challenges that stem from the fact that Haskell was not created with resources in mind, and show how these challenges can be met.