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