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

Cached

Download Links

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

Documents Related by Co-Citation

58 Synchronous Kahn Networks – Paul Caspi, Marc Pouzet - 1996
201 Functional Reactive Animation – Conal Elliott, Paul Hudak - 1997
247 LUSTRE: A declarative language for programming synchronous systems – P. Caspi, D. Pilaud, N. Halbwachs, J. A. Plaice - 1987
50 Functional reactive programming, continued – Henrik Nilsson, Antony Courtney, John Peterson - 2002
120 The synchronous languages 12 years later – Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert, De Simone - 2003
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
488 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
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
27 Computational Comonads and Intensional Semantics – Stephen Brookes, Shai Geva - 1991
41 Infinite trees and completely iterative theories: a coalgebraic view. Theoretical Computer Science – Peter Aczel, Jirí Adámek, Stefan Milius, Jiri Velebil - 2003
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
20 Lucid Synchrone, version 3. Tutorial and reference manual. Université Paris-Sud – Marc Pouzet - 2006
12 Modelling User Interfaces in a Functional Language – Antony Courtney - 2004
81 Implicit parameters: dynamic scoping with static types – Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury - 2000
24 Towards a higher-order synchronous data-flow language – Jean-louis Colaço, Grégoire Hamon, Alain Girault, Marc Pouzet - 2004