Programming language concepts

Concepts in programming languages, be they building languages or core concepts inside of languages.

(If you add to this list, please include URLs for people who've never heard of the concept can get some background idea or concept.)

Type systems Monads Code generation Language parsing