Produkt mají v nabídce:
Qualified Types - Jones, Mark P. (University of Nottingham)
This book describes the use of qualified types to provide a general framework for the combination of polymorphism and overloading, concentrating in particular on the implementation of overloading in Haskell and Gofer.
