Proceedings of the 2012 Haskell Symposium
ACM Digital Library