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

 

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