Krishnaswami, Neelakantan R. Max Planck Society;
Krishnaswami, N. R., Benton, N., & Hoffmann, J. (2012). Higher-Order Functional Reactive Programming in Bounded Space. In POPL’12: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 45-58). New York, NY: ACM.