Sound and Complete Type Inference for a Systems Programming Language.

Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith

Browse the full APLAS paper archive.