%0 Journal Article %1 journals/lmcs/Castagna19 %A Castagna, Giuseppe %D 2020 %J Log. Methods Comput. Sci. %K dblp %N 1 %T Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers). %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs16.html#Castagna19 %V 16

@article{journals/lmcs/Castagna19, added-at = {2024-02-05T00:00:00.000+0100}, author = {Castagna, Giuseppe}, biburl = {https://www.bibsonomy.org/bibtex/25ac5ae9d6d0be47474c20f1eb74ec0f6/dblp}, ee = {https://doi.org/10.23638/LMCS-16(1:15)2020}, interhash = {38f33d13b9b7a305ada2ff2dc39d6956}, intrahash = {5ac5ae9d6d0be47474c20f1eb74ec0f6}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 1, timestamp = {2024-04-09T01:50:57.000+0200}, title = {Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers).}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs16.html#Castagna19}, volume = 16, year = 2020 }