ICFP '05: ACM SIGPLAN International Conference on Functional Programming 2005