John Launchbury;Mark Brian Shields
-;-
Type-indexed rows
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages