Quasi-Linear Types - ACM Digital Library