Distributed REScala: an update algorithm for distributed reactive programming
Functional reactive animation