Declarative programming
Fold
Recursion
Anamorphism
Yoshizawa-Randlett system
Origami
Software engineering
Functional programming