|
48
|
Synchronous Kahn Networks
– Paul Caspi, Marc Pouzet
- 1996
|
|
173
|
Functional Reactive Animation
– Conal Elliott, Paul Hudak
- 1997
|
|
619
|
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
– Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte
- 1992
|
|
40
|
Functional reactive programming, continued
– H Nilsson, A Courtney, J Peterson
- 2002
|
|
29
|
The synchronous data- programming language LUSTRE
– N Halbwachs, P Caspi, P Raymond, D Pilaud
- 1991
|
|
4
|
Solving stream equation systems
– B Barbier
- 2002
|
|
36
|
Infinite trees and completely iterative theories: A coalgebraic view, Theoret
– P Aczel, J Adámek, S Milius, J Velebil
|
|
24
|
Computational Comonads and Intensional Semantics
– Stephen Brookes, Shai Geva
- 1991
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
224
|
LUSTRE: A declarative language for programming synchronous systems
– P Caspi, D Pilaud, N Halbwachs, J A Plaice
- 1987
|
|
70
|
Implicit parameters: dynamic scoping with static types
– Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury
- 2000
|
|
28
|
Clocks in Dataflow languages
– P Caspi
- 1992
|
|
419
|
The synchronous dataflow programming language LUSTRE
– N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud
- 1991
|
|
8
|
Clocks as first class abstract types
– J-L Colaço, M Pouzet
- 2003
|
|
11
|
Verification of an optimized fault-tolerant clock synchronization circuit: A case study exploring the boundary between formal reasoning systems
– Paul S Miner, Steven D Johnson
- 1996
|
|
26
|
Operational semantics of hybrid systems
– Haiyang Zheng
- 2007
|
|
6
|
Lucid Synchrone, a functional extension of Lustre
– P Caspi, M Pouzet
- 2000
|
|
33
|
Genuinely functional user interfaces
– Conal Elliott
- 2001
|
|
12
|
Codifying guarded de with recursive schemes
– Eduardo Gimenez
- 1994
|
