dance : a declarative language for the control of humanoid robots research report yaleu / dcs / rr - 1253 .
functional reactive programming from first principles .