An Axiomatic Semantics for Functional Reactive Programming
Functional reactive programming (FRP) is a paradigm extending functional languages with primitives which operate on state. Typical FRP systems contain many dozens of such primitives. This thesis aims to identify a minimal subset of primitives which captures the same set of behavior as these systems,...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Digital WPI
2008
|
| Subjects: | |
| Online Access: | https://digitalcommons.wpi.edu/etd-theses/464 https://digitalcommons.wpi.edu/cgi/viewcontent.cgi?article=1463&context=etd-theses |