Type Is Not A Type

Albert R. Meyer, Mark B. Reinhold. Type Is Not A Type. In POPL. pages 287-295, 1986.

Abstract

Abstract is missing.