From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.6 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id F2390BBC4 for ; Wed, 1 Apr 2009 15:42:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AucBAMwL00lKfSwcimdsb2JhbACNHIg4PwEBAQoJDAcPBadogQiQBQEDAQODeAY X-IronPort-AV: E=Sophos;i="4.39,306,1235948400"; d="scan'208";a="25427726" Received: from yx-out-2324.google.com ([74.125.44.28]) by mail3-smtp-sop.national.inria.fr with ESMTP; 01 Apr 2009 15:42:12 +0200 Received: by yx-out-2324.google.com with SMTP id 8so31013yxm.3 for ; Wed, 01 Apr 2009 06:42:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=J78vOncJdQSXNnm4ENAAz/JmcMEqJqdkn+fXqojjkcA=; b=BRJ8crR+oMOiutFD6UEZw4RcZm2acNZN0434EteEdXk1ad+6KRvEXUU8bYAk24WWj+ aFf3oUPCeKtVZWMuUH434/m0wK9ls/7Vbk/J4lGasJtzwaKG27+WsBH20F/01ywgDTJS R4rCz3sxIKd+MrwyDB58zB/1+ArmHBgk3Zll8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; b=uMf6STcq17eTJMQ25S8rlYcyJ1tzzaTTJcuiv/lxEdnwvuEE0HGQ2FnMUA2LZyjtN+ eu/UAHYwQtzgnxJluc4qroBu3YQeEoC8TvFttNrnOvs9OHznClvh9azhUWwzqUr+zUwt ALv8c/aa0nQKXEXko4WMnMDQmtSRzIqXQLmHY= MIME-Version: 1.0 Received: by 10.100.132.4 with SMTP id f4mr6199889and.127.1238593323579; Wed, 01 Apr 2009 06:42:03 -0700 (PDT) In-Reply-To: <49D36861.7070108@inria.fr> References: <364f41440903241242v6dd2244fkbbd1ea8e3b20af60@mail.gmail.com> <3091E0E6-226B-4F4A-A78C-E523C250B8D5@osu.edu> <49D2455A.1070802@inria.fr> <49D3305C.3020802@orange-ftgroup.com> <49D36861.7070108@inria.fr> Date: Wed, 1 Apr 2009 09:42:03 -0400 Message-ID: <9d3ec8300904010642s610e3214v862857050aae3fd0@mail.gmail.com> Subject: Re: [Caml-list] questions From: Till Varoquaux To: Xavier Leroy Cc: gilles.falcon@orange-ftgroup.com, caml-list@yquem.inria.fr Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; didier:01 o'caml:01 weis:01 beginner's:01 ocaml:01 bug:01 crystal:98 2009:98 beginners:01 wrote:01 caml-list:01 caml-list:01 bin:01 remy:01 pierre:02 Well his praise still applies: I did take a course in which Xavier Leroy taught and it was crystal clear. I was also very impressed by Didier Remy who came only once. It also helps that the core O'caml is based on ml which uses a very clear and regular semantic. Till On Wed, Apr 1, 2009 at 9:13 AM, Xavier Leroy wrote: >> I saw Xavier Leroy teach caml at the CNAM in france, and he know how >> to teach. > > Just for the record: I never lectured at CNAM, but probably you're > thinking of Pierre Weis, who taught a great "programming in Caml" > course there for several year. =C2=A0That course was the main starting > point for our book "Le langage Caml". > > Regards, > > - Xavier Leroy > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >