Automata theory
Sequence
Hindley–Milner
ALGOL 68
Programming language theory
Software engineering
Mathematics