Constraining Control.

Daniel P. Friedman, Christopher T. Haynes

Browse the full POPL paper archive.