Functional languages
Type system
Type safety
Programming language
Haskell
OCaml
Racket
ML
ALGOL 68
Software engineering
Computing
Programming language theory