Το μάθημα καλύπτει βασικά και προχωρημένα θέματα των Αρχών Γλωσσών Προγραμματισμού που αποτελούν απαραίτητο υπόβαθρο σε διάφορους κλάδους της Πληροφορικής. Ιστορία των γλωσσών προγραμματισμού. Συντακτικό και σημασιολογία. Τύποι δεδομένων, εμβέλεια, διαδικασίες, μέθοδοι περάσματος παραμέτρων, υλοποίηση διαδικασιών. Βασικές κατηγορίες γλωσσών προγραμματισμού: διαδικαστικές, αντικειμενοστραφείς, λογικές, συναρτησιακές, παράλληλες. Θεωρητικά θέματα γλωσσών προγραμματισμού. Τεχνικές μετασχηματισμού και βελτιστοποίησης προγραμμάτων. Απόδειξη ορθότητας προγραμμάτων με τη χρήση της λογικής (λογική Floyd-Hoare). Λάμδα-λογισμός χωρίς τύπους: μετατροπές, κανονικές μορφές, θεώρημα Church-Rosser, εκφραστική ισχύς, εφαρμογές στις γλώσσες προγραμματισμού. Λάμδα-λογισμός με τύπους. Θεωρία τύπων και συστήματα εξαγωγής τύπων.
• M. Scott, Πραγματολογία Γλωσσών Προγραμματισμού, Εκδόσεις Κλειδάριθμος, Αθήνα 2008.
• Adam Brooks Webber, Σύγχρονες Γλώσσες Προγραμματισμού: Μια πρακτική Εισαγωγή, Πανεπιστημιακές Εκδόσεις Κρήτης, 2009.
• Π. Σταματόπουλος, Λογικός και Συναρτησιακός Προγραμματισμός, Σύνδεσμος Ελληνικών Ακαδημαϊκών Βιβλιοθηκών, 2016.
• Ν. Παπασπύρου και Π. Ροντογιάννης. Αρχές Γλωσσών Προγραμματισμού (σημειώσεις).
Επιπλέον παρέχονται διαφάνειες του Π. Ροντογιάννη, οι οποίες βρίσκονται στη σελίδα του μαθήματος, καθώς και συνιστώμενη ξενόγλωσση βιβλιογραφία.