Без заголовка

Вот еще ссылочка по теме: http://www-users.cs.york.ac.uk/~ndm/supero/ Суперкомпиляция Haskell, с практическими результатами.