Login / Signup

Relational Parametricity for Control Considered as a Computational Effect.

Rasmus Ejlers MøgelbergAlex Simpson
Published in: MFPS (2007)
Keyphrases