Active Bibliography

1 An Ultrametric Model of Reactive Programming – Neelakantan R. Krishnaswami, Nick Benton - 2010
1 Higher-Order Functional Reactive Programming in Bounded Space – Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
2 A Semantic Model for Graphical User Interfaces – Neelakantan R. Krishnaswami, Nick Benton
Unpublished draft Simple and Efficient Higher-Order Reactive Programming – Neelakantan R. Krishnaswami
2 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
6 Lowering: A static optimization technique for transparent functional reactivity – Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi - 2007
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
8 Safe Functional Reactive Programming through Dependent Types – Neil Sculthorpe, Henrik Nilsson
Integrating Dataflow Evaluation into a Practical . . . – Gregory Harold Cooper - 2008
3 E-FRP with priorities – Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
13 A theory of indirection via approximation – Aquinas Hobor, Robert Dockins, Andrew W. Appel - 2010
2 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
A Metric Model of Lambda . . . – Lars Birkedal, Jan Schwinghammer, Kristian Støvring
A Kripke Logical Relation for Effect- Based Program Transformations – Jacob Thamsborg, Lars Birkedal
Representing Contractive Functions on Streams (Extended Version) – Graham Hutton - 2011
Representing Contractive Functions on Streams – Graham Hutton - 2011
14 Step-indexed Kripke models over recursive worlds – Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang - 2011
1 Solutions of Generalized Recursive Metric-Space Equations – Lars Birkedal, Kristian Støvring, Jacob Thamsborg
found at the ENTCS Macro Home Page. Ultrametric Domain Theory and Semantics in Coq – Carsten Varming, Lars Birkedal