Type Definitions with Parameters

Marvin H. Solomon. Type Definitions with Parameters. In POPL. pages 31-38, 1978.

Abstract

Abstract is missing.