Causality for free!: parametricity implies causality for functional reactive programs
Push-pull functional reactive programming