¶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
