Person. Jan Hoffmann Carnegie Mellon University · 0000-0001-8326-0788 Papers Higher-order functional reactive programming in bounded space krishnaswami-2012-higherPOPL · 2012 PDF · DOI · pldb