Semantics and Compilation of Recursive Sequential Streams in 8 1/2 (1997)

by Jean-Louis Giavitto, Dominique De Vito, Olivier Michel