Push-pull functional reactive programming
conal.net