13 Feb
2013
13 Feb
'13
2:09 a.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