Programming Language Theory
Semestr: Winter
Range: 2P+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