Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
Functional reactive programming (FRP) makes it possible to express temporal aspects of computations in a declarative way. Recently we developed two kinds of categorical models of FRP: abstract process categories (APCs) and concrete process categories (CPCs). Furthermore we showed that APCs generaliz...
| Váldodahkki: | |
|---|---|
| Materiálatiipa: | Artihkal |
| Giella: | English |
| Almmustuhtton: |
Open Publishing Association
2014-06-01
|
| Ráidu: | Electronic Proceedings in Theoretical Computer Science |
| Liŋkkat: | http://arxiv.org/pdf/1406.2062v1 |