M.: Constructive type classes in isabelle (2006)

by F Haftmann, Wenzel
Venue:TYPES. Lecture Notes in Computer Science