From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA25798; Sun, 18 Nov 2001 23:37:02 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA25940 for ; Sun, 18 Nov 2001 23:37:02 +0100 (MET) Received: from ext-nj2gw-2.online-age.net (ext-nj2gw-2.online-age.net [216.35.73.164]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id fAIMb1v26696 for ; Sun, 18 Nov 2001 23:37:01 +0100 (MET) Received: from int-nj2gw-2.online-age.net (int-nj2gw-2 [3.159.236.66]) by ext-nj2gw-2.online-age.net (8.9.3+Sun/8.9.1/990426-RLH) with ESMTP id RAA25623; Sun, 18 Nov 2001 17:36:56 -0500 (EST) Received: from uswaumsxb4medge.med.ge.com (localhost [127.0.0.1]) by int-nj2gw-2.online-age.net (8.9.3+Sun/8.9.1/990426-RLH) with ESMTP id RAA03430; Sun, 18 Nov 2001 17:36:55 -0500 (EST) Received: by USWAUMSXB4MEDGE with Internet Mail Service (5.5.2653.19) id ; Sun, 18 Nov 2001 16:36:51 -0600 Received: from mrs.mrs.med.ge.com (MRS [3.57.196.1]) by uswaumsxbhmedge.med.ge.com with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2653.13) id X18RQGHS; Sun, 18 Nov 2001 16:36:46 -0600 Received: (from gurr@localhost) by mrs.mrs.med.ge.com (8.9.3+Sun/8.9.3) id OAA15994; Sun, 18 Nov 2001 14:35:42 -0800 (PST) From: David Gurr To: mrak@cs.usyd.edu.au Cc: caml-list@inria.fr Date: Sun, 18 Nov 2001 14:35:42 -0800 (PST) Message-Id: <200111182235.OAA15994@mrs.mrs.med.ge.com> Subject: Re: [Caml-list] [Q]: Co(ntra)variance and subtyping? X-Sun-Charset: US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X. Leroy has slides from lectures which can be reached from his homepage (the second lecture is the one you want). From www.ocaml.org, go to project crystal, personel, X.Leroy, teaching/lectures, or something like that. ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr