1 May
2008
1 May
'08
11:10 a.m.
On Thu, May 1, 2008 at 9:54 AM, Wouter Swierstra
Where could I find a good treatment on data vs. codata & the difference between well-founded recursion & well-founded(?) corecursion?
Bart Jacobs has some good papers on the subject. I found the draft of his book "Introduction to Coalgebra" quite good:
Indeed. I'd also recommend Varmo Vene's thesis, Categorical Programming with Inductive and Coinductive Types: http://www.cs.ut.ee/~varmo/papers/thesis.pdf Matt -- Matt Hellige / matt@immute.net http://matt.immute.net