Type-based Initialization of a Synchronous Data-flow Language (2002)

by J-L Colaço, M Pouzet
Venue:In Synchronous Languages, Applications, and Programming, SLAP’02, volume 65.5 of ENTCS, Elsevier