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

by C A Stone, R Harper
Venue:In POPL ’00: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages