AG Programmiersprachen und Übersetzerkonstruktion

Masterabschlussseminar / Masterseminar - Programmiersprachen: Wintersemester 2019/2020

Im Rahmen dieses Seminars berichten Masterstudierende der Arbeitsgruppe Programmiersprachen und Übersetzerkonstruktion über Ihre aktuellen Arbeiten. Die Vorträge finden in Raum 715 statt.

 

Mittwoch, den 25.03.2020
10 Uhr

Videokonferenz
https://conference.bunkenburg.net/b/nie-qkc-uyf
Kai Prott Kompilation mit oder ohne "continuations"
Viktor Reichert Equational Reasoning in Haskell
Cedric Tsatia Tsida Extended Call-by-push-value und Äquivalenz zwischen Call-by-name und Call-by-need bei divergenten Berechnungen
Die Ausarbeitungen zu den Vortraegen findet man unter
https://www.informatik.uni-kiel.de/~mh/lehre/seminare/ws19_master/
Diese sind allerdings nur innerhalb von uni-kiel.de zugreifbar, sodass man von ausserhalb VPN verwenden muss.
 

Mittwoch, den 11.12.2019
8:30 Uhr

Ludger Brechmann Code-Verbesserung für Curry
 

Mittwoch, den 27.11.2019
8:30 Uhr

Pascal Stücker Ein Typklassen-basiertes deklaratives ER-Web-Framework
 

Mittwoch, den 20.11.2019
8:30 Uhr

Jan Reese Jan Reese: An AJAX Framework for Curry HTML

 

Sommersemester 2019

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