Functional programming with resources

Wolfgang Jeltsch

Institute of Cybernetics at TUT

Thursday, 19 June 2014, 14:00

Cybernetica Bldg (Akadeemia tee 21), room B101

Abstract: In this talk, I introduce an extended form of functional programming that can deal with resources. I show how this style of programming is related to linear logic and the logic of bunched implications, and present both an abstract and a concrete categorical semantics for it.

Tarmo Uustalu
Last update 17.6.2014