Tuesday, 10 June 2014, 14:00 (note the unusual weekday)
Tuesday, 17 June 2014, 14:00 (note the unusual weekday)
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: 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.