Books by ACM SIGPLAN International Conference on Functional Programming (6th 2001 Florence, Italy)