Digicampus
Lecture: Typsysteme - Details
You are not logged into Stud.IP.
Lehrveranstaltung wird in Präsenz abgehalten.

General information

Course name Lecture: Typsysteme
Course number INF-0433
Semester WS 2023/24
Current number of participants 41
Home institute Theorie verteilter und paralleler Systeme
participating institutes Institut für Informatik
Courses type Lecture in category Teaching
First date Thursday, 19.10.2023 12:15 - 13:45, Room: (1057 N)
Pre-requisites Empfohlen: Einführung in die Theoretische Informatik
Performance record Klausur (60 Minuten)
Online/Digitale Veranstaltung Veranstaltung wird in Präsenz abgehalten.
Hauptunterrichtssprache deutsch
Literaturhinweise 'Types and Programming Languages' von Benjamin C. Pierce
ECTS points 5

Rooms and times

(1057 N)
Thursday: 12:15 - 13:45, weekly (14x)

Module assignments

Comment/Description

Einführung in Typsysteme für Programmiersprachen. Die Grundlagen werden aus theoretischer Sicht behandelt.