185.206 Type Systems
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2010W, VO, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture

Aim of course

Students shall get an overview of type systems in programming languages and learn about their pros and cons. Especially the potentialities and limits in the practical use of types shall be shown. The focus is on types on modern object-oriented programming languages.

Subject of course

Meaning of the notion of type in programming languages, classification of programming languages regarding type systems, simple theoretical type models, types in imperative languages (especially Ada), theoretical models of polymorphic type systems and type inference, programming languages with polymorphic type systems, subtyping, genericity, types as partial specifications of object behariour, use of polymorphic type systems in object-oriented programming.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Fri09:15 - 10:4508.10.2010 - 21.01.2011EI 3A Hörsaal PUNTIGAM
Type Systems - Single appointments
DayDateTimeLocationDescription
Fri08.10.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri15.10.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri22.10.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri29.10.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri05.11.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri12.11.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri19.11.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri26.11.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri03.12.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri10.12.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri17.12.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri24.12.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri31.12.201009:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri07.01.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri14.01.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Fri21.01.201109:15 - 10:45EI 3A Hörsaal PUNTIGAM
Course is held blocked

Examination modalities

By interview Interviews can be taken each Monday (11 to 12, except during holydays) as well as by negotiation.

Course registration

Not necessary

Curricula

Literature

Lecture notes for this course are available. Siehe http://www.complang.tuwien.ac.at/franz/typsysteme.html

Language

German