Active Bibliography

1 An Ultrametric Model of Reactive Programming – Neelakantan R. Krishnaswami, Nick Benton - 2010
8 Ultrametric Semantics of Reactive Programs – Neelakantan R. Krishnaswami, Nick Benton
3 Higher-Order Functional Reactive Programming in Bounded Space – Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
Simple and Efficient Higher-Order Reactive Programming – Neelakantan R. Krishnaswami - 2012
1 Fair reactive programming – Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka - 2013
2 Deprecating the Observer Pattern – Ingo Maier, Tiark Rompf, Martin Odersky
Adviser – Adviser Prof, Roberto Ierusalimschy, Prof Roberto Ierusalimschy, Prof Edward, Hermann Haeusler, Prof Renato, Fontoura Gusmão Cerqueira, Prof José, Eugenio Leal, Coordinator Centro, Técnico Científico Puc–rio, Francisco Figueiredo
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
2 Causality For Free! Parametricity Implies Causality for Functional Reactive Programs – Alan Jeffrey
1 A survey on reactive programming – Engineer Bainomugisha, Andoni Lombide Carreton, Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter - 2012
U N I V E R S I – Chi-feng Chou
4 Propagation Networks: A Flexible and Expressive Substrate for Computation – Alexey Andreyevich Radul - 2009
Integrating Dataflow Evaluation into a Practical . . . – Gregory Harold Cooper - 2008
9 Lowering: A Static Optimization Technique for Transparent Functional Reactivity – Kimberley Burchett - 2007
10 Safe Functional Reactive Programming through Dependent Types – Neil Sculthorpe, Henrik Nilsson
2 Languages, Design – Leo A. Meyerovich, Gregory H. Cooper, Arjun Guha, Michael Greenberg, Jacob Baskin, Aleks Bromfield, Shriram Krishnamurthi
Representing Contractive Functions on Streams (Extended Version) – Graham Hutton - 2011
1 Representing Contractive Functions on Streams – Graham Hutton - 2011
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak