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 IAA29064; Mon, 19 Nov 2001 08:30:11 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA29459 for ; Mon, 19 Nov 2001 08:30:09 +0100 (MET) Received: from gnu.in-berlin.de (gnu.in-berlin.de [192.109.42.4]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fAJ7U5111368 for ; Mon, 19 Nov 2001 08:30:05 +0100 (MET) Received: from hirsch.in-berlin.de (root@hirsch.colt.in-berlin.de [213.61.118.6]) by gnu.in-berlin.de (8.10.1/8.10.1) with ESMTP id fAJ7U4912462 for ; Mon, 19 Nov 2001 08:30:04 +0100 (CET) (envelope-from cle@qiao.in-berlin.de) X-Envelope-From: cle@qiao.in-berlin.de X-Envelope-To: Received: from hirsch.in-berlin.de (uucp@localhost [127.0.0.1]) by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with ESMTP id fAJ7U3Z6029764 for ; Mon, 19 Nov 2001 08:30:04 +0100 Received: (from uucp@localhost) by hirsch.in-berlin.de (8.12.1/8.12.1/Debian -2) with UUCP id fAJ7U3AR029758 for caml-list@inria.fr; Mon, 19 Nov 2001 08:30:03 +0100 Received: (qmail 80761 invoked by uid 500); 19 Nov 2001 07:24:46 -0000 Date: Mon, 19 Nov 2001 08:24:46 +0100 From: Clemens Hintze To: "Marcin 'Qrczak' Kowalczyk" , Alain Frisch , Andreas Rossberg , Pixel , David Gurr , Jacques Garrigue , dirk@qiao.in-berlin.de Cc: caml-list@inria.fr, Clemens Hintze Subject: Re: [Caml-list] Re: [Q]: Co(ntra)variance and subtyping? Message-ID: <20011119082446.B79776@qiao.in-berlin.de> References: <002001c17035$c722aa80$3363e195@pazo> <20011116203745.A59514@qiao.in-berlin.de> <002001c17035$c722aa80$3363e195@pazo> <20011118101636.A38485@qiao.in-berlin.de> <20011117185051.A7607@qiao.in-berlin.de> <9t7v4d$gij$1@qrnik.zagroda> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20011119093329G.garrigue@kurims.kyoto-u.ac.jp> <200111182235.OAA15994@mrs.mrs.med.ge.com> <002001c17035$c722aa80$3363e195@pazo> User-Agent: Mutt/1.3.19i Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I want to thank you all, who have contributed to answer my questions about co(ntra)variance. Now I will have to read it all for a few times (I guess a dozent will enough ;-) to try to understand what you gurus tried to tell me ;-)) When I've reached that state, I would like to post a summary to beg your comments to see, if I reached knowledge or not. In that summary, there may pop up further questions, if something is still not clear to me. It may take some days for the dozent concentrated readings, though. Thanks again for all help. Ciao, Clemens. PS: Thanks also to Mark Wotton. ------------------- 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