Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
We present a type inference algorithm for lambda-terms in Elementary Affine Logic using linear constraints. We prove that the algorithm is correct and complete.
cs.LO↗