KIF430:Freunde der funktionalen Programmierung (Fortgeschrittene)
Aus KIF
Vorlesung von Jonas, Unterlagen: [1], Videos: [2]
Literatur: Learn You A Haskell [3], Parallel and Concurrent Programming in Haskell [4]
Recursion Schemes (Mergesort auf 11 aufgedreht): [5]
Sortieren in Agda (dependent types): [6]
"We're doing it all wrong!" by Paul Philipps (a.k.a. niemand mag Scala und hier ist wieso): [7]
