20 Mar
2009
20 Mar
'09
4:24 p.m.
Hi Nathan, Nathan Bloomfield wrote:
arrow? I'm interested in studying this concept in more depth, but I can't find a definition to start with.
Any pointers to good books or papers would be greatly appreciated. :)
The wiki page already gives some pointers to papers; have those been of any help? Specifically, [1] goes into quite some detail on how to mechanically take the derivative of a data type. Hope this helps, Martijn. [1] http://www.cs.nott.ac.uk/~ctm/diff.pdf