[TYPES] Generalised Covariant and Contravariant inference rules

Aaron Gray 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,

Aaron Gray

Independent Open Source Software Engineer, Computer Language Researcher,
Information Theorist, and amateur computer scientist.

More information about the Types-list mailing list