Re: covariant and contravariant rules


Subject: Re: covariant and contravariant rules
From: Craig Chambers (chambers@cs.washington.edu)
Date: Mon Dec 18 2000 - 13:25:00 PST


In addition to Vass's comments, you might want to read Cardelli's early papers
on subtyping, e.g. "A Semantics of Multiple Inheritance", and his "On Types,
Data Abstraction, and Polymorphism" (or something like that).

-- Craig Chambers

Mayur Naik wrote:
>
> Hello
>
> I came across the terms 'covariant rule' and contravariant rule' in the
> paper 'Typechecking and Modules for Multi-Methods.' Can you please tell
> me what these rules are about or give some reference?
>
> Thanks.
>
> -- Mayur



This archive was generated by hypermail 2b25 : Mon Dec 18 2000 - 13:26:25 PST