Συστήματα Τύπων
Συστήματα Τύπων: Η ενότητα καλύπτει τα θέματα: Γλώσσες με τύπους και χωρίς τύπους. Λάθη εκτέλεσης και ασφάλεια. Έλεγχος τύπων. Μη ασφαλή προγράμματα. Ιδιότητες συστήματος τύπων. Ορισμός συστήματος τύπων. Το Θεώρημα της ευρωστίας τύπων. Παραγωγές τύπων. Καλώς ορισμένοι τύποι και συναγωγή τύπων. Συστήματα τύπων πρώτης τάξης. Λογισμός λ με τύπους. Κανόνες για βασικούς και οριζόμενους τύπους.
Λέξεις κλειδιά: Γλώσσες με τύπους, Γλώσσες χωρίς τύπους, Λάθη εκτέλεσης, Ασφάλεια, Σύστημα τύπων, Θεώρημα ευρωστίας τύπων, Παραγωγή τύπων, Καλώς ορισμένοι τύποι, Συναγωγή τύπων, Συστήματα τύπων πρώτης τάξης. Λογισμός λ με τύπους, Βασικοί τύποι, Οριζόμενοι Τύποι.
