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

by N R Krishnaswami, N Benton, J Hoffmann
Venue:In POPL ’12