Εθνικό Μετσόβιο Πολυτεχνείο
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών

Συστήματα Τύπων των Γλωσσών Προγραμματισμού

https://courses.softlab.ntua.gr/typesys/

Συστήματα Τύπων των Γλωσσών Προγραμματισμού

Μεταπτυχιακό μάθημα, χειμερινού εξαμήνου
(ΣΗΜΜΥ, κωδικός 631 — ΜΠΛΑ, κωδικός Π03Γ)

Εξάμηνο: Χειμερινό 2007
Διδάσκων:
Νίκος Παπασπύρου   ()   γρ. 1.1.21   τηλ: 210-772-3393

Ανακοινώσεις | Υλικό: Γενικά, Διαφάνειες, Παλαιότερα έτη
Διαλέξεις: 22/11 | 29/11 | 6/12 | 13/12 | 20/12 | 10/1 | 17/1 | 24/1 |7/2 | 11/2 | 21/2

 

Ανακοινώσεις

30/10/2007

Οι διαλέξεις του μαθήματος θα γίνονται στο εξής κάθε Πέμπτη, ώρα 10:00–13:00, στο Εργαστήριο Τεχνολογίας Λογισμικού, Αίθουσα 1.1.25, Κτίριο Ηλεκτρολόγων, 1ος όροφος, Πολυτεχνειούπολη Ζωγράφου.

 

Υλικό

Γενικά

   

Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002.

Τμήμα του βιβλίου (ps.gz, 460KB) διατίθεται online για εκπαιδευτικό σκοπό μόνο στους σπουδαστές του ΕΜΠ που παρακολουθούν το μάθημα και μόνο μέσω IP διευθύνσεων του ΕΜΠ.

Οι σπουδαστές θα βρουν ιδιαίτερα χρήσιμη την ιστοσελίδα του παραπάνω βιβλίου, την οποία συντηρεί ο συγγραφέας του, και κυρίως τις υλοποιήσεις ελεγκτών τύπων και αποτιμητών για τις γλώσσες που θα μελετηθούν. Για να εκτελέσετε αυτές τις υλοποιήσεις θα χρειαστείτε το μεταγλωττιστή της OCaml, διαθέσιμο από το: http://www.ocaml.org/.

Διαφάνειες

Οι παρακάτω διαφάνειες χρησιμοποιήθηκαν στις διαλέξεις εκτός του βιβλίου του Pierce, για συμπληρωματική ύλη. Είναι διαθέσιμες σε δύο μορφές: σε μορφή για παρουσίαση (μία διαφάνεια ανά σελίδα, έγχρωμες, πιθανώς με εφέ κίνησης) και σε μορφή για εκτύπωση (έξι διαφάνειες ανά σελίδα, πιθανώς ασπρόμαυρες).

Παλαιότερα έτη

 

Διαλέξεις

Παράδοση 22/11/2007

Παρουσίαση: Νίκος Παπασπύρου

Παράδοση 29/11/2007

Παρουσίαση: Νίκος Παπασπύρου

Παράδοση 6/12/2007

Παρουσίαση: Πάνος Προκοπίου

Παράδοση 13/12/2007

Παρουσίαση: Νίκος Παπασπύρου, Μιχάλης Παπακυριάκου

Παράδοση 20/12/2007

Παρουσίαση: Χάρης Νάκος

Παράδοση 10/1/2008

Παρουσίαση: Γιώργος Πιερράκος

Παράδοση 17/1/2008

Παρουσίαση: Θάνος Τσουάνας

Παράδοση 24/1/2008

Παρουσίαση: Χάρης Νάκος

Παράδοση 7/2/2008

Παρουσίαση: Πάνος Προκοπίου

Παράδοση 11/2/2008

Παρουσίαση: Γιώργος Πιερράκος

Παράδοση 21/2/2008

Παρουσίαση: Νίκος Παπασπύρου

 

Τελευταία αλλαγή: 24/2/08, 15:45.