COVARIANCE AND CONTRAVARIANCE: A FRESH LOOK AT AN OLD ISSUE (A PRIMER IN ADVANCED TYPE SYSTEMS FOR LEARNING FUNCTIONAL PROGRAMMERS)

Castagna, G

Castagna, G (corresponding author), Univ Paris, Inst Rech Informat Fondamentale, CNRS, Paris, France.

LOGICAL METHODS IN COMPUTER SCIENCE, 2020; 16 (1):

Abstract

Twenty years ago, in an article titled "Covariance and contravariance: conflict without a cause", I argued that covariant and contravariant specializa......

Full Text Link