Proceedings of the 12th ACM Sigplan International Conference on Functional Programming (ICFP '07) held in Friburg, Germany on 1-3 october 2007. - Association for computing machinery Press, 2007. - ( ACM SIGPLAN Notices ; 42).