[Haskell] recursive definitions in Haskell (inductive and coinductive)

Graham Hutton gmh at Cs.Nott.AC.UK
Sat Feb 6 16:17:43 EST 2010


> Is this the right story?  One of my difficulties is that I'm having
> trouble grasping what coinduction might mean for terms.

The following tutorial paper may be helpful:

   http://www.cs.nott.ac.uk/~gmh/corecursion.pdf

Best wishes,

Graham

+-----------------------------------------------------------------+
| Dr Graham Hutton                 Email : gmh at cs.nott.ac.uk      |
| Functional Programming Lab                                      |
| School of Computer Science       Web   : www.cs.nott.ac.uk/~gmh |
| University of Nottingham                                        |
| Jubilee Campus, Wollaton Road    Phone : +44 (0)115 951 4220    |
| Nottingham NG8 1BB, UK                                          |
+-----------------------------------------------------------------+


More information about the Haskell mailing list