Active Bibliography

1 An Ultrametric Model of Reactive Programming – Neelakantan R. Krishnaswami, Nick Benton - 2010
3 Higher-Order Functional Reactive Programming in Bounded Space – Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
7 A Semantic Model for Graphical User Interfaces – Neelakantan R. Krishnaswami, Nick Benton - 2011
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 A Relational Realizability Model for Higher-order Stateful ADTs – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2010
7 First steps in synthetic guarded domain theory: step-indexing in the topos of trees – Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring
Representing Contractive Functions on Streams (Extended Version) – Graham Hutton - 2011
1 Representing Contractive Functions on Streams – Graham Hutton - 2011
2 Causality For Free! Parametricity Implies Causality for Functional Reactive Programs – Alan Jeffrey
U N I V E R S I – Chi-feng Chou
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
10 Safe Functional Reactive Programming through Dependent Types – Neil Sculthorpe, Henrik Nilsson
2 Deprecating the Observer Pattern – Ingo Maier, Tiark Rompf, Martin Odersky
9 Lowering: A Static Optimization Technique for Transparent Functional Reactivity – Kimberley Burchett - 2007
Integrating Dataflow Evaluation into a Practical . . . – Gregory Harold Cooper - 2008
3 E-FRP with priorities – Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
16 A theory of indirection via approximation – Aquinas Hobor, Robert Dockins, Andrew W. Appel - 2010
A Metric Model of Lambda . . . – Lars Birkedal, Jan Schwinghammer, Kristian Støvring