Ein umfassendes Lehrbuch, das die Theorie der Typen mit konkreten Beispielen aus modernen Programmiersprachen verbindet; es erklärt Syntax, Semantik und Typinferenz in klarer, praxisnaher Sprache.