This website presents information about IoC as of 31 December 2016 and is no longer updated.
Generalized Abstract Process Categories
Wolfgang Jeltsch
Institute of Cybernetics
Tuesday, 10 June 2014, 14:00
Tuesday, 17 June 2014, 14:00
Thursday, 19 June 2014, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B 101
June 10 and June 17
Abstract process categories (APCs) are axiomatically defined categorical models for functional reactive programming (FRP) with processes. In this talk, I present a generalized form of APCs that can serve as a semantics for an FRP dialect with support for resources. Perhaps surprisingly, this generalized form of APCs seems to capture also an FRP dialect that lacks support for processes.
June 19
Functional Programming with Resources
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.