Type class polymorphism in an institutional framework (2004)

by Lutz Schröder, Till Mossakowski, Christoph Lüth
Venue:Recent Trends in Algebraic Development Techniques, 17th Intl. Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science