Extensional equivalence and singleton types

by Christopher A. Stone , Robert Harper
Venue:ACM Transactions on Computational Logic
Citations:38 - 7 self