[Haskell-cafe] Couple of formal questions

[Matt Hellige]

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:
  http://www.cs.ut.ee/~varmo/papers/thesis.pdf

Matt

-- 
Matt Hellige / matt at immute.net
http://matt.immute.net