Login / Signup

Relational Parametricity and Units of Measure.

Andrew Kennedy
Published in: POPL (1997)
Keyphrases