Deciding Type Equivalence with Singleton Kinds

Christopher A. Stone, Robert Harper. Deciding Type Equivalence with Singleton Kinds. In POPL. pages 214-227, 2000. [doi]

Abstract

Abstract is missing.