ICFP05: ACM SIGPLAN International Conference on Functional Programming Conference