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