Concrete categorical semantics for functional reactive programming with resources

Wolfgang Jeltsch

Institute of Cybernetics at TUT

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.

Tarmo Uustalu
Last update 6 October 2014