dance : a declarative language for the control of humanoid robots research report yaleu / dcs / rr - 1253 .
Functional reactive animation