Programming Language Theory

Semestr: Winter

Range: 2+2c

Completion:

Credits: 6

Programme type:

Study form: Fulltime

Course language: English

Summary:

This course introduces students to the main elements of programming language theory, namely formal semantics and type theory.

Keywords:

Formal semantics, type theory.

Course syllabus:

Operational Semantics
Denotational Semantics
Fixed Points
State
Data
Types
Polymorphism
Type Reconstruction

Seminar syllabus:

Operational Semantics
Denotational Semantics
Fixed Points
State
Data
Types
Polymorphism
Type Reconstruction

Literature:

F. Turbak et al.: Design Concepts in Programming Languages

Examiners:

Lecturers:

Instructors: