List comprehension
SQL
Foreach loop
Type theory
Localization theorem
Sedenion
Computing
Software engineering
Notation