Theory

Binary decision diagrams

Call By Push Value

Continuation passing style

Constraints on sets

E-graphs

Functional Machine Calculus

Linear logic

Gradual types

Partial evaluation