Synchronous Functional Programming with Lucid Synchrone

This publication has 27 references indexed in Scilit:

• Type-based initialization analysis of a synchronous dataflow language
  International Journal on Software Tools for Technology Transfer, 2004
• The synchronous languages 12 years later
  Proceedings of the IEEE, 2003
• An embedded modeling language approach to interactive 3D and multimedia animation
  IEEE Transactions on Software Engineering, 1999
• Type classes in Haskell
  ACM Transactions on Programming Languages and Systems, 1996
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• Deforestation: transforming programs to eliminate trees
  Theoretical Computer Science, 1990
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• On the Development of Reactive Systems
  Published by Springer Nature ,1985