A Co-iterative Characterization of Synchronous Stream Functions (1997)

Cached

Download Links

by Paul Caspi , Marc Pouzet
Citations:19 - 4 self

Documents Related by Co-Citation

58 Synchronous Kahn Networks – Paul Caspi, Marc Pouzet - 1996
204 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
249 LUSTRE: A declarative language for programming synchronous systems – P. Caspi, D. Pilaud, N. Halbwachs, J. A. Plaice - 1987
120 The synchronous languages 12 years later – Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert, De Simone - 2003
489 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
50 Functional reactive programming, continued – H Nilsson, A Courtney, J Peterson
671 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992
14 Clocks as First Class Abstract Types – Jean-Louis Colaço, Marc Pouzet - 2003
82 Implicit parameters: dynamic scoping with static types – Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury - 2000
25 Towards a higher-order synchronous data-flow language – Jean-louis Colaço, Grégoire Hamon, Alain Girault, Marc Pouzet - 2004
786 The semantics of a simple language for parallel programming – G Kahn - 1974
162 Generalising Monads to Arrows – John Hughes - 1998
31 Clocks in dataflow languages – P Caspi - 1992
29 The synchronous data- programming language LUSTRE – N Halbwachs, P Caspi, P Raymond, D Pilaud - 1991
34 Operational semantics of hybrid systems – Haiyang Zheng - 2007
38 Genuinely functional user interfaces – Conal Elliott - 2001
4 Solving stream equation systems – B Barbier - 2002
41 Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science – Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil - 2003
52 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000