Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Qualifizierte Typen: Theorie und Praxis von Mark P. Jones (Englisch) Taschenbuch

Ø 0.0
0 Bewertungen
59,31 €

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: