|
|
|
Contact |
|
Courses
- Common Excercises: Programming Paradigms - Exercises , Wintersemester 2019/2020
Publications
2020
-
Test-Case Reduction for Haskell Programs
December 2020 : D. Krüger
2017
-
Optimierungen in einer funktionalen Sprache mit Firm
May 2017 : D. Krüger
Theses worked on
- hsreduce: Minimising Haskell programs (finished), masters thesis