Type inference for unboxed types and first class mutability.

Swaroop Sridhar, Jonathan S. Shapiro

Browse the full ASPLOS paper archive.