Loading…
FB20 Computer Science · Offered in SoSe 2026
No grade data reported for this course yet.
Grade distributions arrive when a student who took the course opens their Notenspiegel with the TUPlan extension installed.
No ratings yet — be the first.
Your vote is stored against a random id in this browser. No account, nothing that identifies you.
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
Times, rooms and details come from TUCaN and may be out of date. Report something wrong