What Are Principal Typings and What Are They Good For?

Trevor Jim. What Are Principal Typings and What Are They Good For?. In POPL. pages 42-53, 1996. [doi]

Abstract

Abstract is missing.