Higher-order functional reactive programming in bounded space.

Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann

Browse the full POPL paper archive.