A Type System Equivalent to Flow Analysis

Jens Palsberg, Patrick O Keefe. A Type System Equivalent to Flow Analysis. In POPL. pages 367-378, 1995.

Abstract

Abstract is missing.