Extensional equivalence and singleton types (2006)

by Christopher A Stone, Robert Harper
Venue:ACM Transactions on Computational Logic (TOCL