Lambda calculus
Functional programming
Control flow
Eval
Data types
Scheme
Anonymous function
Apply
Standard ML