On 02/12/2013 02:14 PM, Brent Yorgey wrote: > Hi Patrick, > > I would highly recommend > > Jeremy Gibbons, "Calculating Functional Programs". It looks to be available from the author's site: http://www.cs.ox.ac.uk/jeremy.gibbons/publications/acmmpc-calcfp.pdf