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 |