Deciding Type Equivalence with Singleton Kinds.

Christopher A. Stone, Robert Harper

Browse the full POPL paper archive.