Functional reactive programming from first principles (2000)

by Z Wan, P Hudak
Venue:in ACM SIGPLAN Notices