The productivity of polymorphic stream equations and the composition of circular traversals

This thesis has two independent parts. The rst is a theoretical study of productivity for very restricted stream programs. In the second part we de ne a programming abstraction over a recursive pattern for de ning circular traversals modularly. Productivity is in general undecidable. By restricting ourselves to mutually recursive polymorphic stream… CONTINUE READING