Calculating Functional Programs (2000)

Cached

Download Links

by Jeremy Gibbons
Venue:Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, volume 2297 of LNCS, chapter 5
Citations:26 - 8 self