Procedural programming languages
Functional languages
Functional programming
Type theory
Data types
Standard ML
ML
Type inference
Type system
Monad
Compiler
Algorithm