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