Abstract categorical semantics for resourceful functional reactive programming

Functional reactive programming (FRP) makes it possible to express temporal aspects in a declarative way. Traditional approaches to FRP cannot handle objects like widgets in a graphical user interface or files in a file system. Therefore, programmers have to resort to ordinary methods of effectful programming when working with objects. In this paper, we devise a variant of FRP with support for objects, called “resourceful FRP”, and develop an abstract categorical semantics for this FRP variant.