Higher-order functional reactive programming in bounded space (2012)

by N R Krishnaswami, N Benton, J Hoffmann
Venue:In Proceedings of the 39th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages