A Co-iterative Characterization of Synchronous Stream Functions

[1]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[2]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[3]  Frédéric Boussinot.  Proposition de Semantique Denotationelle pour des Reseaux de Processus avec Operateur de Melange Equitable , 1982, Theor. Comput. Sci..

[4]  Robin Milner,et al.  Calculi for Synchrony and Asynchrony , 1983, Theor. Comput. Sci..

[5]  Alan Mycroft,et al.  Polymorphic Type Schemes and Recursive Definitions , 1984, Symposium on Programming.

[6]  Philip Wadler,et al.  Listlessness is better than laziness: Lazy evaluation and garbage collection at compile-time , 1984, LFP '84.

[7]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[8]  William W. Wadge,et al.  Lucid, the dataflow programming language , 1985 .

[9]  E. A. Ashcroft,et al.  LUCID: The data flow programming language , 1985 .

[10]  Philip Wadler,et al.  Deforestation: Transforming Programs to Eliminate Trees , 1990, Theor. Comput. Sci..

[11]  A. Benveniste,et al.  Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics , 1991, Sci. Comput. Program..

[12]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[13]  Simon L. Peyton Jones,et al.  Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[14]  Robert Glück,et al.  Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC , 1994, ESOP.

[15]  P. Caspi.  Towards Recursive Block Diagrams , 1994 .

[16]  Christine Paulin-Mohring,et al.  Circuits as Streams in Coq: Verification of a Sequential Multiplier , 1995, TYPES.

[17]  Steven D. Johnson,et al.  Verification of an optimized fault-tolerant clock synchronization circuit , 1996 .

[18]  Marc Pouzet,et al.  Synchronous Kahn networks , 1996, ICFP '96.

[19]  Masato Takeichi,et al.  Deriving structural hylomorphisms from recursive definitions , 1996, ICFP '96.

[20]  B. Jacobs,et al.  A tutorial on (co)algebras and (co)induction , 1997 .