Qualified Data Flow Problems.

L. Howard Holley, Barry K. Rosen

Browse the full POPL paper archive.