Allgemeine Informationen
Veranstaltungsname | Vorlesung: Typsysteme |
Veranstaltungsnummer | INF-0433 |
Semester | WS 2023/24 |
Aktuelle Anzahl der Teilnehmenden | 40 |
Heimat-Einrichtung | Theorie verteilter und paralleler Systeme |
beteiligte Einrichtungen | Institut für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Donnerstag, 19.10.2023 12:15 - 13:45, Ort: (1057 N) |
Voraussetzungen | Empfohlen: Einführung in die Theoretische Informatik |
Leistungsnachweis | Klausur (60 Minuten) |
Online/Digitale Veranstaltung | Veranstaltung wird in Präsenz abgehalten. |
Hauptunterrichtssprache | deutsch |
Literaturhinweise | 'Types and Programming Languages' von Benjamin C. Pierce |
ECTS-Punkte | 5 |