AG Programmiersprachen und Übersetzerkonstruktion

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, 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
   
   
   

 

Wintersemester 2018/2019

Sommersemester 2018

Wintersemester 2017/2018

Sommersemester 2017

Wintersemester 2016/2017

Sommersemester 2016

 Wintersemester 2015/2016

 Wintersemester 2014/2015

Sommersemester 2014

Wintersemester 2013/2014