Sciweavers

Share
TPHOL
2008
IEEE
9 years 5 months ago
First-Class Type Classes
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantiļ¬cation o...
Matthieu Sozeau, Nicolas Oury
books