Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)
Logical methods in computer science, 2022-02, Vol.16, Issue 1
[Peer Reviewed Journal]
EISSN: 1860-5974 ;DOI: 10.23638/LMCS-16(1:15)2020
Full text available