Deciding type equivalence in a language with singleton kinds (2000)

by Christopher A Stone, Robert Harper
Venue:In POPL ’00: Proceedings of the 27th ACMSIGPLAN-SIGACT symposium on Principles of programming languages