Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
Logic in Computer Science
2007-05-23 v1
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.
Keywords
Cite
@article{arxiv.cs/0305011,
title = {Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic},
author = {Paolo Coppola and Simone Martini},
journal= {arXiv preprint arXiv:cs/0305011},
year = {2007}
}