Wird geladen…
FB20 · Angeboten in WiSe 2026/27
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.
Keine wöchentlichen Termine hinterlegt.
Dieses Projekt richtet sich an fortgeschrittene Studierende mit Interesse am Lambda-Kalkül und an Programmiersprachen; an Entwurfsmustern im funktionalen Programmieren (Funktoren, Monaden, Applikative, Lenses, …), an der Formalisierung und Mechanisierung von Typsystemen; an konstruktiven und mechanisierten Beweisen; an der Entwicklung effizienter Typprüfung und Inferenz oder an effizienten Interpretern und Compilern.
Kein Prüfungstermin veröffentlicht.
Zum Stundenplan hinzufügenTermine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden