General information

Course name	Lecture: Typsysteme
Course number	INF-0433
Semester	WS 2022/23
Current number of participants	35
Home institute	Theorie verteilter und paralleler Systeme
Courses type	Lecture in category Teaching
First date	Thu., 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

Lecturers

(1057 N)

Thursday: 14:00 - 15:30, weekly (14x)

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