[Haskell-cafe] Couple of formal questions

Matt Hellige matt at immute.net
Thu May 1 11:10:55 EDT 2008

On Thu, May 1, 2008 at 9:54 AM, Wouter Swierstra <wss at cs.nott.ac.uk> 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:


Matt Hellige / matt at immute.net

More information about the Haskell-Cafe mailing list