Testing Monadic Code with QuickCheck (0)

by K Claessen, J Hughes
Venue:ACM SIGPLAN Notices