Relational parametricity and units of measure (1997)

by Andrew J Kennedy
Venue:In POPL’97