@inproceedings{krishnaswami-2012-higher, series={POPL ’12}, title={Higher-order functional reactive programming in bounded space}, url={http://dx.doi.org/10.1145/2103656.2103665}, DOI={10.1145/2103656.2103665}, booktitle={Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, publisher={ACM}, author={Krishnaswami, Neelakantan R. and Benton, Nick and Hoffmann, Jan}, year={2012}, month=Jan, pages={45–58}, collection={POPL ’12} }