TimeFlies: Push-Pull Signal-Function Functional Reactive Programming - Amsden, Edward (ProQuest Dissertations and Theses, 2013)