Testing type class laws.

Johan Jeuring, Patrik Jansson, Cludio Amaral

Browse the full HASKELL paper archive.