In diesem ersten Teil einer Reihe von Arbeitspapieren werden Grundbegriffeder Typtheorie (Datentyp, Typkompatibilität, Typsystem) vonProgrammiersprachen eingeführt. Es wird eine Klassifizierung vonTypsystemen vorgenommen.[...]