| form | group | time | week | room | teacher | |
|---|---|---|---|---|---|---|
| seminar | di 09-11 | 37-44 | BBL-420 | Atze Dijkstra Jeroen Fokker Bastiaan Heeren Doaitse Swierstra |
|
|
| do 13-15 | 36-44 | BBL-420 | ||||
| Website: | website containing additional information | ||||||||||||||||||
| Course code: | INFOTS | ||||||||||||||||||
| Credits: | 7.5 ECTS (=5.25 old credit points) | ||||||||||||||||||
| Period: | periode 1 (week 36 t/m 45, dwz 8-9-2005 t/m 11-11-2005; herkansing week 1) | | |||||||||||||||||
| Timeslot: | B | ||||||||||||||||||
| Participants: | up till now 5 subscriptions | ||||||||||||||||||
| Schedule: | Dit is een oud rooster!
| ||||||||||||||||||
| Contents: | In this course we will jointly study the new book edited by Benjamin C. Pierce, Advanced Topics in Types and programming languages. Furthermore we will read some recent papers (mostly written by members of the department) related to these areas. As such the seminar provides an excellent introduction to some of the research topics of members of the department. It is highly recommended for students who want to do a master project in the area of type systems, both with respect to implementation and design. | ||||||||||||||||||
| Literature: | Advanced Topics in Types and programming languages and hand-outs | ||||||||||||||||||
| Course form: | Depending on the number of participants. We expect also some staff members to participate. Most likely we will study the material in the form of a seminar, in which each participant takes care of presenting part of the material. | ||||||||||||||||||
| Exam form: | Students will have to make some exercises, and in the end there will be a written examination. The mark will be based on exercises (40%), presentation and participation in discussions (30%) and final exam (30%), provided the mark for the exam is at least a 5. | ||||||||||||||||||
| Minimum effort to qualify for 2nd chance exam: | Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan. | ||||||||||||||||||