"Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, ..."

Koen Claessen (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics