ICFP '12 proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming, September 9-15, 2012, Copenhagen, Denmark (ACM SIGPLAN notices, 2012)