Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
arXiv:cs/0305011
Abstract
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.