AG Programmiersprachen und Übersetzerkonstruktion

Masterabschlussseminar / Masterseminar - Programmiersprachen: Sommersemester 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, 23.09.2020
16:30 Uhr

Videokonferenz
https://palmer.informatik.uni-kiel.de/greenlight/san-9qf-tfq
  Das Projekt umfasst die Weiterentwicklung eines OpenSource-Projektes, dessen Entwicklung sich vorab gerne angeschaut werden kann.
http://ghv.artzub.com/#repo=free-compiler&climit=1100&user=freeproving
http://ghv.artzub.com/#repo=haskell-src-transformations&climit=450&user=freeproving
   

Donnerstag, 17.09.2020
15:30 Uhr

Videokonferenz
https://mediaportal01.rz.uni-kiel.de/b/nip-kp5-3dt-ftv
  Eine Erweiterung des Glasgow Haskell Compilers für funktional-logische Programme
   
Donnerstag, 10.09.2020
ab 9 Uhr
Unterlagen für die Vorträge:
https://www-ps.informatik.uni-kiel.de/~nbu/seminar/
1. Proving Profunctor Optics Transformations in Coq
2. An Introduction to the Yoneda Lemma and its Applications in Functional Programming
3.  Handlers in Action
Donnerstag, 10.09.2020
ab 14 Uhr
1. Finger Trees
2. Selective Applicative Functors
  Die Vorträge finden online unter dem folgenden Link statt:
https://palmer.informatik.uni-kiel.de/greenlight/nie-ft3-vo9-hc4 
   

Mittwoch, 06.05.2020
8:30 Uhr

Videokonferenz
https://palmer.informatik.uni-kiel.de/greenlight/mic-9x7-ej6
Kai Prott Eine Erweiterung des Glasgow Haskell Compilers für funktional-logische Programme
 

Wintersemester 2019/2020

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