Allgemeine Informationen
| Veranstaltungsname | Vorlesung: Typsysteme |
| Veranstaltungsnummer | INF-0433 |
| Semester | WS 2023/24 |
| Aktuelle Anzahl der Teilnehmenden | 37 |
| 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) |
| Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile | Ja |
| Hauptunterrichtssprache | deutsch |
| Literaturhinweise | 'Types and Programming Languages' von Benjamin C. Pierce |
| ECTS-Punkte | 5 |
