[Haskell] Re: refactoring, catamorphism, termination of programs

[Jeremy Gibbons]

On 2 May 2007, at 12:18, Johannes Waldmann wrote:

> If you want to contribute further to the discussion,
> then please do so via http://groups.google.com/group/fp-termination
> (I don't want to clutter the haskell  mailing  list,
> but I want to have the discussion in some public place.)

Isn't Haskell Cafe exactly the place for that discussion? (As opposed  
to the Haskell mailing list.)

Good luck with the discussion. Someone mentioned DrHylo; that's built  
on the work of Hu, Onoue and others from Tokyo on a system called Hylo:

   http://www.ipl.t.u-tokyo.ac.jp/~onoue/hylo/

See also Alberto Pardo's HFusion:

   http://www.fing.edu.uy/inco/proyectos/fusion/

Jeremy

Jeremy.Gibbons at comlab.ox.ac.uk
   Oxford University Computing Laboratory,    TEL: +44 1865 283508
   Wolfson Building, Parks Road,              FAX: +44 1865 283531
   Oxford OX1 3QD, UK.
   URL: http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html