A Co-iterative Characterization of Synchronous Stream Functions
Open Access
- 1 January 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 11, 1-21
- https://doi.org/10.1016/s1571-0661(04)00050-7
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Deriving structural hylomorphisms from recursive definitionsPublished by Association for Computing Machinery (ACM) ,1996
- Towards recursive block diagramsAnnual Review in Automatic Programming, 1994
- Towards unifying partial evaluation, deforestation, supercompilation, and GPCPublished by Springer Nature ,1994
- Synchronous programming with events and relations: the SIGNAL language and its semanticsScience of Computer Programming, 1991
- The synchronous data flow programming language LUSTREProceedings of the IEEE, 1991
- On the Development of Reactive SystemsPublished by Springer Nature ,1985
- Polymorphic type schemes and recursive definitionsPublished by Springer Nature ,1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Proposition de semantique denotationnelle pour des reseaux de processus avec operateur de melange equitableTheoretical Computer Science, 1982