Qualifizierte Typen: Theorie und Praxis von Mark P. Jones (Englisch) Taschenbuch
75,54 €
For example, qualified types can be viewed as a generalization of type classes in the functional language Haskell and the theorem prover Isabelle. These in turn are extensions of equality types in Standard ML.
Jetzt bei Ebay:
