[TYPES] Generalised Covariant and Contravariant inference rules
aaronngray.lists at gmail.com
Sun May 20 12:05:20 EDT 2018
I am looking for a paper I cannot seem to find anymore that if I remember
correctly gives or hints at a generalised scheme for describing covariant
and contravariant type inference rules.
Many thanks in advance,
Independent Open Source Software Engineer, Computer Language Researcher,
Information Theorist, and amateur computer scientist.
More information about the Types-list