An Ultrametric Model of Reactive Programming (2010)

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

Documents Related by Co-Citation

4 GADTs + extensible kinds = dependent programming – Tim Sheard, James Hook, Nathan Linger - 2005
1 Partial Evaluation for Domain-Specific Embedded Languages in a Higher Order Typed Language – Duncan Coutts - 2004
4 Modular Causality in a Synchronous Stream Language – Pascal Cuoq, Marc Pouzet - 2001
5 A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems – Jean-Pierre Talpin, David Nowak - 1998
4 A Semantics for Functions and Behaviours – Anthony Daniels - 1999
3 Temporal logic. In The Blackwell Guide to Philosophical Logic, chapter 10 – Yde Venema - 2001
1 Thomson's Lamp is Dysfunctional – William Mclaughlin - 1997
2 Eleftherios Matsikoudis, and Haiyang Zheng. Discrete-event systems: Generalizing metric spaces and fixed-point semantics – Adam Cataldo, Edward Lee, Xiaojun Liu - 2005
1 Efficient and Compositional Higher-Order Streams – Gergely Patai
2 Eventless reactivity from scratch – Gergely Patai - 2009
1 How to be more productive. Presentation at the University of Nottingham Functional Programming Laboratory Away Day – Graham Hutton, Mauro Jaskelioff - 2010
1 Improving push-based FRP – Wolfgang Jeltsch - 2008
1 not generators – Signals - 2010
1 An axiomatic semantics for functional reactive programming. Master’s thesis, Worcester Polytechnic Institute, 2008. 151 Oleg Kiselyov, Simon Peyton – Christopher T King - 2010
1 The Theory and Practice of Causal Commutative Arrows – Hai Liu - 2011
1 The Haskell Report – Simon Marlow - 2010
1 Towards a Practical Programming Language Based on Dependent Type Theory – UlfNorell - 2007
1 On combining synchronous and functional programming. Presentation at Between Control and Software – Marc Pouzet
1 Safefunctionalreactiveprogrammingthroughdependent types – NeilSculthorpeandHenrikNilsson - 2009