Proceedings of the ACM SIGPLAN International Conference on Functional Programming, held in Montréal, Québec on September 18-21, 2000. 9th issue. - Association for computing machinery Press, 2000. - ( ACM SIGPLAN Notices ; 35).