Course details
Code
CS-546
Name
Types and Programming Languages
Program
Postgraduate
Areas
Algorithms and Systems Analysis
Information Systems and Human-Computer Interaction
Parallel and Distributed Systems
Description
CS546 focuses on type systems and their application in the design and implementation of programming languages. The course also explores type system applications in tools that automatically analyze programs and assist programmers, such as compiler optimizers, debuggers, verifiers, analyzers, model checkers, etc.
ECTS
6
Prerequisites
CS-255, CS-280
Course website