ICFP '00: proceedings of the fifth ACM SIGPLAN international conference on funtional programming : MONTREAL, CANADA, SEPTEMBER 18-21, 2000. (ACM,Inc, 2000)