Relational parametricity and units of measure (1997)

by A J Kennedy
Venue:In Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages. Association of Computing Machinery, Inc