Push-pull functional reactive programming
functional reactive programming from first principles .