Lutz Schröder, Till Mossakowski, Christoph Lüth. Type Class Polymorphism in an Institutional Framework. In José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas, editors, Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Volume 3423 of Lecture Notes in Computer Science, pages 234-251, Springer, 2004. [doi]
Abstract is missing.