Type-indexed rows, in (0)

by M Shields, E Meijer
Venue:Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL’01, ACM