Functional Stream Semantics for a Synchronous Block-Diagram Compiler.

Timothy Bourke, Paul Jeanmaire, Marc Pouzet

Browse the full LICS paper archive.