Module Number

INFO-4241
Module Title

Programming Languages II
Lecture Type(s)

Lecture, Tutorial
ECTS 6
Work load
- Contact time
- Self study
Workload:
180 h
Class time:
60 h / 4 SWS
Self study:
120 h
Duration 1 Semester
Frequency Irregular
Language of instruction English
Type of Exam

Written or oral examination. Participation in exercises is required for exam participation.

Content

This lecture is about the semantics and type systems of modern programming
languages. We discuss the foundations of programming languages using formal
semantics (such as small-step operational semantics), formal type systems and
their properties, and different variants of typed lambda calculi that constitute
the foundation for modern type systems.

Objectives

Students will be able to discuss and analyze modern programming languages in
terms of the properties of their theoretical foundations. They will understand
the design space and tradeoffs of type systems for these languages.

Allocation of credits / grading
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%)
Prerequisite for participation INF3181 Programming Languages I
Lecturer / Other Brachthäuser, Ostermann
Literature

Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2003.

Last offered Wintersemester 2021
Planned for Wintersemester 2024
Assigned Study Areas INFO-INFO, INFO-PRAK, INFO-THEO, MEDI-APPL, MEDI-INFO, ML-CS