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

Matt

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


More information about the Haskell-Cafe mailing list