User:Kaptoxic/Books/PL

PL

 * Types
 * Dependent type
 * Gradual typing


 * StaticAnalysis
 * Constant folding
 * Sparse conditional constant propagation


 * Computation
 * Combinatory logic
 * SKI combinator calculus


 * Programming Languages
 * SETL