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

by Christopher A Stone, Robert Harper
Venue:In Twenty-Seventh ACM Symposium on Principles of Programming Languages