Thanks. To me the first part linked above is rather "foundation of computer science". I remember this to be content of my first classes in CS ( turing machines, lambda calculus, finite automata, ... (Actually the course in 1999 in Uni Karlsruhe was unfortunately also was the last time I implemented things using Haskell).

This full list I guess goes beyond and looks interesting.