Adjoint functors
Computing
Monad transformer
Monad
Continuation
ALGOL 68
Software engineering
Functional programming
Computer programming