Programming language theory
Haskell
Literate programming
Friday
Software engineering
Functional languages
Computing