Brauer, Johannes - Nordakademie <Elmshorn> - 2009
, Typsystem) vonProgrammiersprachen eingeführt. Es wird eine Klassifizierung vonTypsystemen vorgenommen.[...] … werden Grund-
begriffe der Typtheorie (Datentyp, Typkompatibilität, Typsystem) von
Programmiersprachen eingeführt. Es wird … Wir sprechen von einem expliziten
Typsystem.
int i, j in Java, C
var i, j : integer in Pascal, Modula, Oberon
Eine andere …