A Tutorial on Co-induction and Functional Programming (1995)

by A D Gordon
Venue:In Glasgow Workshop on Functional Programming