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