1. Rate types for stream programs
2. Clocks in dataflow languages
3. P. Caspi and M. Pouzet. Lucid Synchrone a functional extension of Lustre. Technical report Université Pierre et Marie Curie Laboratoire LIP6 2000. P. Caspi and M. Pouzet. Lucid Synchrone a functional extension of Lustre. Technical report Université Pierre et Marie Curie Laboratoire LIP6 2000.
4. Macros as multi-stage computations
5. pages 74–85. ACM 2001. pages 74–85. ACM 2001.