Software engineering
Computer programming
Programming language theory
Functional languages
OCaml
Caml
ML
Ur
Fold