Koen Claessen

• Proceedings of the 4th ACM Symposium on Haskell
• Proceedings of the Sixth Workshop on Programming Languages Meets Program Verification