Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Types and Programming Languages, Graduate Course
[go: Go Back, main page]

Types and Programming Languages

Graduate course spring 04.

Aim of the course

The intent of the course is to follow the book Types and Programming Languages. It focuses on the theory of type systems for programming languages. To get a better view of what will be covered see the preliminary schedule on this page and visit the book home page.

Literature

Types and Programming Languages. Benjamin Pierce. The MIT Press. Book homepage

Various Info

Credits:5p.

Examiner: Marcin Benke (Jörgen Gustavsson will assist)

What you have to do to get the points: Be active on the meetings, solve the exercises and give presentations.

Prerequisites: A course in programming language sematics and familiarity with ML-like languages.

Preliminary Schedule

This is a preliminary schedule of what we will cover during the course. Chapters in parenthesis are optional and deal with concrete implementations of type systems. Some chapters are marked with readthrough which means that we will not do the exercises but merely read through the chapter.

We meet once a week, at Thursday afternoon 15-17. One student gives a presentation of the chapters of the week. Students should take turn in presenting the material and every student should present something at least once. After the presentation we discuss the exercises.

Week Meeting date Room General subject Chapters Responsible Homework
1 Feb 19 3407 Untyped 1 (readthrough), 2 (readthrough), 3 (4) Josef
2 Feb 26 3407 5, 6 (7) Björn Exercises from sections 5.2 and 6.1-6.3
3 March 4 3407 Simple Types 8, 9 (10) Kyle 8.3.6, 9.3.2, 9.3.10, 9.4.1
4 March 11 3407 11, 12(readthrough) Daniel 11.4.1, 11.5.2, 11.8.2, 11.9.1, 11.11.1, 11.12.2
5 March 18 3407 13, 14 Niklas 13.1.3, 13.5.2, 14.3.1
6 March 25 3407 Subtyping 15, 19.3 (readthrough) Nils Anders 15.2.4, 15.2.5, 15.3.1, 15.3.2
7 April 1 3407 16 (17) Stefan 16.1.2, 16.1.3, 16.2.6, 16.3.2, 16.3.3
8 April 15 3407 Recursive types 20, 21.1-21.4 Peter 20.1.5, 20.2.1, 21.2.2, 21.3.8
9 April 22 5453 21.5-21.12 Marcin 21.5.13, 21.8.5, 21.11.1
10 April 29 5453 Polymorphism 22 Ulf 22.3.9, 22.3.11, 22.4.3, 22.5.6
11 May 6 5453 23, 24 (25) Markus 23.4.10, 23.5.1, 24.2.1, 24.3.2
12 May 13 5453 26, 28 Karol 26.2.3, 26.3.5, 26.4.11, 28.2.3, 28.4.3
13 May 27 5453 Higher Order Systems 29, 30, 31 (readthrough) Kristofer All in chapter 30
Reserve date is June 6. Some reserve subjects are Polymorphic Subtyping and Predicative Polymorphism. Talk to Marcin if you want to know more about these.
Last modified: Mon May 10 18:52:36 MEST 2004