Johan Jeuring, Patrik Jansson, Cláudio Amaral. Testing type class laws. In Janis Voigtländer, editor, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. pages 49-60, ACM, 2012. [doi]
Abstract is missing.