A Type System Equivalent to Flow Analysis.

Jens Palsberg, Patrick O'Keefe

Browse the full POPL paper archive.