Loading…

TUPlan is an independent, student-built planning aid. It is not affiliated with, endorsed by, or operated by TU Darmstadt. TUCaN remains the system of record for registration, exams and grades.

Impressum Privacy Terms

20-00-1253 Type Systems, Programming Language and Functional Programming - Practical Lab · TUPlan

← All courses

20-00-1253

Type Systems, Programming Language and Functional Programming - Practical Lab

FB20 Computer Science · Offered in WiSe 2026/27

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.

Install the extension (opens in a new tab)

Was this course worth it?

No ratings yet — be the first.

Your vote is stored against a random id in this browser. No account, nothing that identifies you.

Weekly sessions · WiSe 2026/27

No weekly sessions listed.

Parts

20-00-1253-prLab course4 contact h/week

Language: Englisch
Taught by: Dr. rer. nat. David Richter

Course content

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.

Exam dates

No exam date published.

Add to planner

Times, rooms and details come from TUCaN and may be out of date. Report something wrong