Login / Signup

Relational Parametricity for Higher Kinds.

Robert Atkey
Published in: CSL (2012)
Keyphrases