Το μάθημα αυτό έχει ως σκοπό τη μελέτη των συστημάτων τύπων (type systems) που χρησιμοποιούνται στις σύγχρονες γλώσσες προγραμματισμού. Μέσω των συστημάτων τύπων θα μελετηθούν σε βάθος τα κυριότερα χαρακτηριστικά των προστακτικών και συναρτησιακών γλωσσών προγραμματισμού: βασικοί τύποι, συναρτήσεις, αναδρομή, αναφορές, εξαιρέσεις, υποτύποι, αναδρομικοί τύποι, αντικείμενα, πολυμορφισμός, υπαρξιακοί και εξαρτώμενοι τύποι, τύποι και λογική. Έμφαση θα δοθεί στη συνεισφορά των συστημάτων τύπων για τον τυπικό ορισμό των γλωσσών καθώς και για τη μελέτη ιδιοτήτων ασφάλειας των προγραμμάτων. Για την περιγραφή της σημασιολογίας των υπό μελέτη γλωσσών θα χρησιμοποιηθεί η προσέγγιση της δομημένης λειτουργικής σημασιολογίας (structural operational semantics). Η αξιολόγηση των σπουδαστών γίνεται μέσω θεωρητικών και προγραμματιστικών ασκήσεων, που θα παραδίδουν οι σπουδαστές κατά τη διάρκεια του εξαμήνου.