Lecture notes on theory of lists (1989)

by Richard S Bird
Venue:In STOP Summer School on Constructive Algorithmics, Abeland