
13 Oct
2008
13 Oct
'08
2:41 a.m.
Hi Christos, We and a colleague from Japan use Haskell for Inductive Functional Programming, i.e. learn programs from examples. However, we just have started to port our program to Haskell: http://www.cogsys.wiai.uni-bamberg.de/effalip/ Susumu Katayama has already a Haskell library: http://nautilus.cs.miyazaki-u.ac.jp/~skata/MagicHaskeller.html More information about IP can be found here: http://www.inductive-programming.org/ What kind of survey are you doing? Do you have a pointer, too? Greetings, Martin