Swaroop Sridhar, Jonathan S. Shapiro. Type inference for unboxed types and first class mutability. In Christian W. Probst, editor, Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, PLOS 2006, San Jose, California, USA, October 22, 2006. pages 7, ACM, 2006. [doi]
Abstract is missing.