Login / Signup

GADTs, Functoriality, Parametricity: Pick Two.

Patricia JohannEnrico GhiorziDaniel Jeffries
Published in: CoRR (2021)
Keyphrases