functional reactive programming from first principles .
Functional reactive animation