[TYPES] Generalised Covariant and Contravariant inference rules
Aaron Gray <[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CANkmNDeMA11QK98f0DszGD_BzStfg7++-m3ny9BiuEXKX0cT5w@mail.gmail.com> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] 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 -- Aaron Gray Independent Open Source Software Engineer, Computer Language Researcher, Information Theorist, and amateur computer scientist.