« Return to Thread: Couple of formal questions

Re: Couple of formal questions

by Matt Hellige :: Rate this Message:

On Thu, May 1, 2008 at 9:54 AM, Wouter Swierstra <wss@...> wrote:

>
> > 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:
>
> http://www.cs.ru.nl/B.Jacobs/CLG/JacobsCoalgebraIntro.pdf
>

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@...
http://matt.immute.net
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@...
http://www.haskell.org/mailman/listinfo/haskell-cafe

« Return to Thread: Couple of formal questions