Reduction in Strength of High Level Operations.

Robert Paige, Jacob T. Schwartz

Browse the full POPL paper archive.