Modular Causality in a Synchronous Stream Language

This publication has 11 references indexed in Scilit:

• Constructive analysis of cyclic circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Type-based analysis of uncaught exceptions
  ACM Transactions on Programming Languages and Systems, 2000
• A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
  Published by Springer Nature ,1998
• Types for Proofs and Programs
  Published by Springer Nature ,1998
• Analysis of cyclic combinational circuits
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Report on the programming language Haskell
  ACM SIGPLAN Notices, 1992
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• Type inference for record concatenation and multiple inheritance
  Information and Computation, 1991
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• Deforestation: transforming programs to eliminate trees
  Theoretical Computer Science, 1990