An Ultrametric Model of Reactive Programming (2010)

by Neelakantan R. Krishnaswami , Nick Benton
Citations:1 - 0 self

Active Bibliography

7 A Semantic Model for Graphical User Interfaces – Neelakantan R. Krishnaswami, Nick Benton - 2011
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 Representing Contractive Functions on Streams – Graham Hutton - 2011
Representing Contractive Functions on Streams (Extended Version) – Graham Hutton - 2011
1 Fair reactive programming – Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka - 2013
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
U N I V E R S I – Chi-feng Chou
2 Causality For Free! Parametricity Implies Causality for Functional Reactive Programs – Alan Jeffrey
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
19 Step-indexed Kripke models over recursive worlds – Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang - 2011
4 Divide and recycle: types and compilation for a hybrid synchronous language – Albert Benveniste, Timothy Bourke, Benoît Caillaud, Inria Rennes, Marc Pouzet - 2011
found at the ENTCS Macro Home Page. Ultrametric Domain Theory and Semantics in Coq – Carsten Varming, Lars Birkedal
2 A Relational Realizability Model for Higher-order Stateful ADTs – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2010