Reduction in Strength of High Level Operations

Robert Paige, Jacob T. Schwartz. Reduction in Strength of High Level Operations. In POPL. pages 58-71, 1977.

Abstract

Abstract is missing.