Andreas Arvidsson, Moa Johansson, Robin Touche. Proving Type Class Laws for Haskell. In David Van Horn, John Hughes, editors, Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Volume 10447 of Lecture Notes in Computer Science, pages 61-74, Springer, 2016. [doi]
Abstract is missing.