Relational parametricity and units of measure (1997)

by Andrew J Kennedy
Venue:In: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. POPL ’97