Lecture notes on constructive functional programming (1989)

by R Bird
Venue:NATO Adv. Science Institute (Series F: Comp. and System Sciences