Documents Related by Co-Citation

8 Ultrametric Semantics of Reactive Programs – Neelakantan R. Krishnaswami, Nick Benton
25 A Modality for Recursion – Hiroshi Nakano - 2000
5 LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs – A Jeffrey - 2012
3 Towards a common categorical semantics for linear-time temporal logic and functional reactive programming – W Jeltsch
91 The Esterel synchronous programming language and its mathematical semantics – G Berry, L Cosserat - 1985
20 Lucid Synchrone, version 3. Tutorial and reference manual. Université Paris-Sud – Marc Pouzet - 2006
39 LUSTRE: A Declarative Language for Real-Time Programming – P Caspi, D Pilaud, N Halbwachs, J A Plaice - 1987
36 Embedding dynamic dataflow in a call-by-value language – Gregory H. Cooper, Shriram Krishnamurthi - 2006
1204 The temporal logic of programs – A Pnueli - 1977
302 Results on the propositional µ-calculus – D Kozen - 1983
201 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
7 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
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
22 Extensions of System F by Iteration and Primitive Recursion on Monotone Inductive Types – R Matthes - 1998
31 Constructions, Inductive Types and Strong Normalization – Thorsten Altenkirch - 1993
7 Decidability, Completeness, and Extensions of Linear Time Temporal Logic – O Lichtenstein - 1991
2 Temporal logic with until: Functional reactive programming with processes and concrete process categories – W Jeltsch - 2013
1 Functional reactive programming in OCaml. URL https: //github.com/jaked/froc – J Donham
1 Functional reactive programming with liveness guarantees – A Jeffrey - 2013