Towards Safe and Efficient Functional Reactive Programming: Agda Code
This page contains the accompanying Agda code for the thesis "Towards Safe and Efficient Functional Reactive Programming".
Conceptual Models
N-ary FRP Library Code
Properties of N-ary FRP
Embedded Implementation of N-ary FRP
Embedded Implementation of N-ary FRP with Feedback
Now-Soon Models
Conceptual Model of N-ary FRP with Uninitialised Signals
Embedded Implementation of N-ary FRP with Uninitialised Signals
Decoupledness Matrices