Darren Duncan wrote:
Giuseppe Castagna wrote:G. Castagna: Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, vol. 17, n. 3, pag. 431-447, 1995.Is there an electronic copy of this that you can link to?
Ah, spoke too soon. An electronic copy is linked to from one of the other sites you gave, at http://www.pps.jussieu.fr/~gc/selected.en.html ; the PDF version is at http://www.pps.jussieu.fr/~gc/papers/toplas95.pdf . -- Darren Duncan
