Wird geladen…
FB20 Informatik · Angeboten in SoSe 2026
Für diesen Kurs wurden noch keine Noten gemeldet.
Notenverteilungen kommen herein, sobald jemand, der den Kurs belegt hat, den Notenspiegel mit installierter TUPlan-Erweiterung öffnet.
Noch keine Bewertungen — mach den Anfang.
Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.
Fortgeschrittene Typsysteme bieten einen effizienten Weg, um die korrekte Funktionsweise von Programmen zu garantieren, bevor diese überhaupt gestartet werden. Wir werden uns u.A. mit den folgenden Themen beschäftigen: In Programmiersprachen mit fortgeschrittenen Typsystemen programmieren Lambda-Kalkül, Einfache Typen, Polymorphismus, Abhängige Typen Typsysteme, Typprüfung, Typinferenz, Typsicherheit Typesysteme für Programmiersprachen implementieren
Termine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden