Title: Automatische Komplexitätsanalyse funktionaler Programme
Subjects: Functional programming (Computer science), System analysis, Zeitkomplexität, Algorithmus, Functional programming (computer science)