Functional programming with resources as a Haskell library

Wolfgang Jeltsch

Institute of Cybernetics at TUT

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.

Tarmo Uustalu
Last update 15 September 2014