Testing type class laws

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

Abstract is missing.