Abstract categorical semantics for resourceful functional reactive programming☆

https://doi.org/10.1016/j.jlamp.2016.07.001Get rights and content
Under an Elsevier user license
open archive

Highlights

  • •

    We integrate FRP and resourceful functional programming.

  • •

    We develop an abstract categorical semantics for resourceful FRP.

  • •

    We proof theorems about the relationship between abstract categorical semantics for FRP and abstract categorical semantics for resourceful FRP.

Abstract

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.

Keywords

Functional reactive programming
Temporal logic
Linear logic
Logic of bunched implications
Categorical semantics

Cited by (0)

☆

This article is the full version of an extended abstract presented at the 25th Nordic Workshop on Programming Theory (NWPT '13) in Tallinn, Estonia.

© 2016 Elsevier Inc.