Developing the Algebraic Hierarchy with Type Classes in Coq.

Bas Spitters, Eelis van der Weegen

Browse the full ITP paper archive.