Active Bibliography

Simple and Efficient Higher-Order Reactive Programming – Neelakantan R. Krishnaswami - 2012
1 Fair reactive programming – Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka - 2013
1 An Ultrametric Model of Reactive Programming – Neelakantan R. Krishnaswami, Nick Benton - 2010
31 Real-Time FRP – Zhanyong Wan , Walid Taha, Paul Hudak - 2001
2 Causality For Free! Parametricity Implies Causality for Functional Reactive Programs – Alan Jeffrey
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
8 Ultrametric Semantics of Reactive Programs – Neelakantan R. Krishnaswami, Nick Benton
20 A Relational Modal Logic for Higher-Order Stateful ADTs – Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
24 Biorthogonality, Step-Indexing and Compiler Correctness – Nick Benton, Chung-Kil Hur - 2009
19 Step-indexed Kripke models over recursive worlds – Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang - 2011
9 A Kripke Logical Relation Between ML and Assembly – Chung-kil Hur, Derek Dreyer
2 A Relational Realizability Model for Higher-order Stateful ADTs – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2010
28 Flask: Staged Functional Programming for Sensor Networks – Geoffrey Mainland, Greg Morrisett, Matt Welsh
3 Optimisation of dynamic, hybrid signal function networks – Neil Sculthorpe, Henrik Nilsson - 2008
10 Safe Functional Reactive Programming through Dependent Types – Neil Sculthorpe, Henrik Nilsson
Integrating Dataflow Evaluation into a Practical . . . – Gregory Harold Cooper - 2008
6 Superficially Substructural Types – Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
3 Dance: A declarative language for the control of humanoid robots – Liwen Huang, Paul Hudak - 2003
5 Embedding a functional hybrid modelling language in Haskell – George Giorgidze, Henrik Nilsson - 2008