Ralf Hinze Norman Ramsey Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007 ICFP ACM 2007 978-1-59593-815-2 db/conf/icfp/icfp2007.html