Automatic testing framework for Play web applications written in Scala
The Curry Report
The sources of the tutorial on Curry.
Tools for Curry that are used in PAKCS and KiCS2
KiCS2: The Kiel Curry System v.2
A documentation generator for Curry
A tool to support executable benchmark papers
Possible topics for the (masters') seminar.
Seminar paper on Selective Applicative Functors