AG Programmiersprachen und Übersetzerkonstruktion

Wintersemester 2016/2017

  • Mittwoch, 22.02.2017 Thomas Rossow
    Erweiterung eines Frameworks zur Generierung freier Theoreme um Typkonstruktorklassen
  • Mittwoch, 21.12.2016 Bastian Kirchmayr
    Übersetzung von Curry nach Java
  • Mittwoch, 14.12.2016 Meike Classe
    Entwicklung einer browserbasierten Javascript 2D-Animationsbibliothek
  • Mittwoch, 07.12.2016 Lasse Christopher Meyer
    Entwicklung einer haskellartigen Schnittstelle für die BEAM VM - Analysephase
    und anschließend, ab 9:15 Uhr
    Mike Tallarek
    Entwicklung einer haskellartigen Schnittstelle für die BEAM VM - Synthesephase
  • Mittwoch, 30.11.2016 Lasse Folger
    Eine alternative Haskell-Implementierung für Software Transaktionen
  • Mittwoch, 23.11.2016 Thomas Rossow
    Freie Theoreme
  • Mittwoch, 16.11.2016 Finn Teegen
    Erweiterung von Curry um Typklassen und Typkonstruktorklassen
  • Mittwoch, 09.11.2016 Julia Kunst
    Programmüberdeckung für Curry
  • Mittwoch, 26.10.2016 Jonas Oberschweiber
    Ein Paketsystem für Curry

 

Sommersemester 2016

 Wintersemester 2015/2016

 Wintersemester 2014/2015

Sommersemester 2014

Wintersemester 2013/2014