ICFP '01: proceedings of the sixth ACM SIGPLAN international conference on funtional programming : FLORENCE, ITALY, SEPTEMBER 3-5, 2001. (ACM,Inc, 2001)