12 Feb
2013
12 Feb
'13
9:09 p.m.
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