TY  - RPRT
TI  - Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)
AU  - Giuseppe Castagna
PY  - 2022
DO  - 10.23638/lmcs-16(1:15)2020
UR  - https://arxiv.org/abs/1809.01427
ID  - 1809.01427
ER  -