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.