Relational Parametricity and Units of Measure (1997)

by Andrew J. Kennedy , Andrew J. Kennedy
Venue:In 24th ACM Symp. on Principles of Programming Languages
Citations:25 - 3 self