Code:
AE4M36TPJ
Programming Language Theory
Lecturer:
Ing. Pavel Strnad Ph.D.
Weekly load: 2+2c
Assessment: Z,ZK
Department: 13136
Credits: 6
Semester: W
Description:
This course introduces students to the main elements of programming language theory, namely formal semantics and type theory.
Contents:
Operational Semantics
Denotational Semantics
Fixed Points
State
Data
Types
Polymorphism
Type Reconstruction
Recommended literature:
F. Turbak et al.: Design Concepts in Programming Languages
Keywords:
Formal semantics, type theory.