Masterabschlussseminar / Masterseminar - Programmiersprachen: Sommersemester 2019
Im Rahmen dieses Seminars berichten Masterstudierende der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion über Ihre aktuellen Arbeiten. Die Vorträge finden in Raum 715 statt.
Donnerstag, 19.09.2019, 14 Uhr | |
Jan-Hendrik Matthes | Erweiterung von Curry um Polymorphismus höheren Ranges |
Donnerstag, 19.09.2019, 9 Uhr | |
Kai Prott, Eduard Raimann, Tim Weißenfels |
Vorstellung des Projekts "Verifikation von Elm-Programmen" |
Donnerstag, 20.06.2019, 8.30 Uhr | |
Robert Köhler | Verwendung benutzerdefinierter Gleichheit in Coq |
Alice Sroka | Optimierung von Curry-Programmen durch Inlining |
Donnerstag, 13.06.2019, 8.30 Uhr | |
Johanna Menzel | Comparison of generic translations of effectful code to Coq |
Justin Andresen | Übersetzung von Haskell nach Coq |
Donnerstag, 06.06.2019, 8.30 Uhr | |
Jan-Hendrik Matthes | Erweiterung von Curry um Polymorphismus höheren Ranges |
Sulejman Vafaei Moghaddam | Probabilistische Programmierung in Curry |
Malte Clement | Quellsprachentransformation von Pattern Matching in Haskell |