Andrzej Borzyszkowski;Ryszard Kubiak;Stefan Sokolowski
-;-;-
Type class polymorphism in an institutional framework
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques