Type class polymorphism in an institutional framework (2004)

by L Schröder, T Mossakowski, C Lüth
Venue:In José Fiadeiro, editor, 17th WADT, Lecture Notes in Computer Science