Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
<|reference_start|>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.<|reference_end|>
@article{coppola2003optimizing,
    title={Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary
  Affine Logic},
    author={Paolo Coppola and Simone Martini},
    journal={ACM Transactions on Computational Logic, vol 7 (2006) pp. 219 -
  260.},
    year={2003},
    archivePrefix={arXiv},
    eprint={cs/0305011},
    primaryClass={cs.LO}
}