Login / Signup

Abstraction Barrier-Observing Relational Parametricity.

Jo Erskine Hannay
Published in: TLCA (2003)
Keyphrases