Calculating Functional Programs (2002)

by J Gibbons
Venue:In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, LNCS 2297