Bas Spitters, Eelis van der Weegen. Developing the Algebraic Hierarchy with Type Classes in Coq. In Matt Kaufmann, Lawrence C. Paulson, editors, Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings. Volume 6172 of Lecture Notes in Computer Science, pages 490-493, Springer, 2010. [doi]
Abstract is missing.