Real-Time FRP (2001)

Cached

Download Links

by Zhanyong Wan , Walid Taha , Paul Hudak
Venue:IN THE INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP ’01
Citations:33 - 5 self

Active Bibliography

unknown title – Zhanyong Wan, Walid Taha, Paul Hudak
1318 Monads for functional programming – Philip Wadler - 1995
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
554 On Visual Formalisms – David Harel - 1988
500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
607 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
2014 A theory of timed automata – Rajeev Alur - 1999
459 Comprehending Monads – Philip Wadler - 1992