Signals and comonads (2005)

Cached

Download Links

by Tarmo Uustalu , Varmo Vene
Venue:Journ. of Universal Comp. Sci
Citations:5 - 2 self

Active Bibliography

2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
Deductive Proofs of Data-flow Programs 1 – Og Ra Ms
Project-Team Proval Proof of programs – Saclay Île-de-france
92 The synchronous languages twelve years later – Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone - 2003
Chapter 10 Comonadic functional – Tarmo Uustalu, Varmo Vene
2 Comonadic functional attribute evaluation – Tarmo Uustalu, Varmo Vene
Réseaux de Kahn synchrones – Paul Caspi, Marc Pouzet, Projet Inria-spectre, Flots De Donn'ees
21 Guernic, Data-flow synchronous languages – Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs - 1994
7 Generalized Coiteration Schemata – Daniela Cancila, Furio Honsell, Marina Lenisa - 2003
A PVS Proof Obligation Generator for Lustre Programs – Cécile Canovas-Dumas, Paul Caspi - 2000
A clocked denotational semantics for Lucid-Synchrone in COQ – Sylvain Boulmé, Grégoire Hamon - 2001
Hierarchical Hybrid Block Diagrams – Ben Denckla And
1 An Ultrametric Model of Reactive Programming – Neelakantan R. Krishnaswami, Nick Benton - 2010
The Fundamentals of Hybrid Systems Modelers – Albert Benveniste Inria-rennes, Campus De Beaulieu, Benoît Caillaud Inria-rennes, Marc Pouzet Liens
Non-Standard Semantics of Hybrid Systems Modelers ✩ – Albert Benveniste A, Timothy Bourke A, Benoît Caillaud A, Marc Pouzet B
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
9 Causal commutative arrows and their optimization – Hai Liu, Eric Cheng, Paul Hudak - 2009
7 A Semantic Model for Graphical User Interfaces – Neelakantan R. Krishnaswami, Nick Benton - 2011