Functional reactive programming from first principles.

Zhanyong Wan, Paul Hudak

Browse the full PLDI paper archive.