Semantics and compilation of recursive sequential streams in 81/2 (1997)

by J-L Giavitto, D De Vito, O Michel
Venue:Ninth International Symposium on Programming Languages, Implementations, Logics, and Programs (PLILP’97), volume 1292 of Lecture Notes in Computer Science