Andrew D. Gordon. A Tutorial on Co-induction and Functional Programming. In Kevin Hammond, David N. Turner, Patrick M. Sansom, editors, Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994. Workshops in Computing, pages 78-95, Springer, 1994. [doi]
Abstract is missing.