|
4
|
Ultrametric Semantics of Reactive Programs
– Neelakantan R. Krishnaswami, Nick Benton
|
|
|
Unpublished draft Simple and Efficient Higher-Order Reactive Programming
– Neelakantan R. Krishnaswami
|
|
2
|
A Semantic Model for Graphical User Interfaces
– Neelakantan R. Krishnaswami, Nick Benton
|
|
1
|
TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING
– Neil Sculthorpe
- 2011
|
|
1
|
An Ultrametric Model of Reactive Programming
– Neelakantan R. Krishnaswami, Nick Benton
- 2010
|
|
|
Approved by the Graduate Council Date
– Gregory Harold Cooper, Shriram Krishnamurthi Director, Steven P. Reiss, John Peterson Reader, Sheila Bonde
|
|
|
Unpublished Draft A Semantic Model for Graphical User Interfaces
– Neelakantan R. Krishnaswami, Nick Benton
|
|
6
|
Lowering: A static optimization technique for transparent functional reactivity
– Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi
- 2007
|
|
3
|
E-FRP with priorities
– Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
|
|
|
Deprecating the Observer Pattern EPFL-REPORT-148043
– Ingo Maier, Tiark Rompf, Martin Odersky
|
|
16
|
Flask: Staged Functional Programming for Sensor Networks
– Geoffrey Mainland, Greg Morrisett, Matt Welsh
|
|
6
|
Generating heap-bounded programs in a functional setting
– Walid Taha, Stephan Ellner, Hongwei Xi
- 2003
|
|
|
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
|
|
41
|
Arrows, Robots, and Functional Reactive Programming
– Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson
- 2002
|
|
28
|
Embedding dynamic dataflow in a call-by-value language
– Gregory H. Cooper, Shriram Krishnamurthi
- 2006
|
|
3
|
Optimisation of dynamic, hybrid signal function networks
– Neil Sculthorpe, Henrik Nilsson
- 2008
|
|
8
|
Safe Functional Reactive Programming through Dependent Types
– Neil Sculthorpe, Henrik Nilsson
|
|
26
|
Real-Time FRP
– Zhanyong Wan , Walid Taha, Paul Hudak
- 2001
|
|
14
|
A Relational Modal Logic for Higher-Order Stateful ADTs
– Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
|
