Functional languages
Functional programming
Data types
Literate programming
Type theory
Clean
Haskell
Curry
Type system
Software engineering
Computing
Computer programming