|
2
|
A Semantic Model for Graphical User Interfaces
– Neelakantan R. Krishnaswami, Nick Benton
|
|
4
|
Ultrametric Semantics of Reactive Programs
– Neelakantan R. Krishnaswami, Nick Benton
|
|
|
Unpublished Draft A Semantic Model for Graphical User Interfaces
– Neelakantan R. Krishnaswami, Nick Benton
|
|
1
|
Higher-Order Functional Reactive Programming in Bounded Space
– Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
|
|
|
Unpublished draft Simple and Efficient Higher-Order Reactive Programming
– Neelakantan R. Krishnaswami
|
|
|
Under consideration for publication in the Journal of Functional Programming 1 Representing Contractive Functions on Streams (Extended Version)
– Graham Hutton
- 2011
|
|
1
|
TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING
– Neil Sculthorpe
- 2011
|
|
3
|
E-FRP with priorities
– Roumen Kaiabachev, Walid Taha, Angela Yun Zhu
|
|
9
|
Causal commutative arrows and their optimization
– Hai Liu, Eric Cheng, Paul Hudak
- 2009
|
|
3
|
Optimisation of dynamic, hybrid signal function networks
– Neil Sculthorpe, Henrik Nilsson
- 2008
|
|
|
Under consideration for publication in Math. Struct. in Comp. Science A Step-Indexed Kripke Model of Hidden State
– Jan Schwinghammer (saarl
- 2011
|
|
15
|
Step-indexed Kripke models over recursive worlds
– Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
- 2011
|
|
|
found at the ENTCS Macro Home Page. Ultrametric Domain Theory and Semantics in Coq
– Carsten Varming, Lars Birkedal
|
|
|
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
|
|
|
Approved by the Graduate Council Date
– Gregory Harold Cooper, Shriram Krishnamurthi Director, Steven P. Reiss, John Peterson Reader, Sheila Bonde
|
|
|
Deprecating the Observer Pattern EPFL-REPORT-148043
– Ingo Maier, Tiark Rompf, Martin Odersky
|
|
3
|
Dance: A declarative language for the control of humanoid robots
– Liwen Huang, Paul Hudak
- 2003
|
|
1
|
Exploiting structural dynamism in Functional Hybrid Modelling for simulation of ideal diodes
– Henrik Nilsson, George Giorgidze
- 2010
|
|
6
|
Lowering: A static optimization technique for transparent functional reactivity
– Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi
- 2007
|
