Closurize and Concentrate.

Julian A. Padget, John P. Fitch

Browse the full POPL paper archive.