Asynchronous functional reactive programming for GUIs
Functional reactive animation