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 2022/23
Current number of participants 42
Home institute Theorie verteilter und paralleler Systeme
Courses type Lecture in category Teaching
First date Thursday, 20.10.2022 14:00 - 15:30, 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: 14:00 - 15:30, weekly (14x)

Comment/Description

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