Thursday, 9 October 2014, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: In this talk, I present a concrete categorical semantics for FRP with resources. This semantics combines constructs from concrete categorical semantics for FRP without resources and functional programming with resources and adds structure for modeling continuous resource transformations in processes. The goal of this work is to describe the intuitions behind FRP with resources in a mathematically precise way.