Digicampus
Vorlesung: Typsysteme - Details
Sie sind nicht in Stud.IP angemeldet.
Lehrveranstaltung wird in Präsenz abgehalten.

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

Räume und Zeiten

(1057 N)
Donnerstag: 12:15 - 13:45, wöchentlich (14x)

Modulzuordnungen

Kommentar/Beschreibung

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