¶Theory Call By Push Value Continuation passing style Constraints on sets E-graphs Functional Machine Calculus Linear logic Gradual types Partial evaluation