Type Systems, Programming Language and Functional Programming Research Seminar

Dieses Seminar 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. Das Seminar ist entlang des gesamten Forschungsprozesses strukturiert: Themenfindung, Literaturrecherche, Problemformulierung, Implementierung, Formalisierung, Mechanisierung, Evaluation und wissenschaftliches Schreiben. Die Studierenden präsentieren ihre Ergebnisse, erhalten Feedback in Peer-Review und überarbeiten ihre Arbeiten iterativ.