From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 520207EE80 for ; Fri, 15 Mar 2013 19:04:20 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of rdicosmo@gmail.com) identity=pra; client-ip=209.85.212.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of rdicosmo@gmail.com designates 209.85.212.177 as permitted sender) identity=mailfrom; client-ip=209.85.212.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="rdicosmo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f177.google.com) identity=helo; client-ip=209.85.212.177; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="rdicosmo@gmail.com"; x-sender="postmaster@mail-wi0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjEJANhhQ1HRVdSxiGdsb2JhbABDhVmtOIxwhRsDgWgWDgEBAQoJFBQEJIIqAQEFOgYBFBkLAQMMAQUFDgoJBCEPBSABBQEBCRgTCQmHcAMPBAMFpGuPLYUTJwMKiVUBBQwJjVBTg0NhA5ZagSCKTIM1P4FZglWBcg X-IPAS-Result: AjEJANhhQ1HRVdSxiGdsb2JhbABDhVmtOIxwhRsDgWgWDgEBAQoJFBQEJIIqAQEFOgYBFBkLAQMMAQUFDgoJBCEPBSABBQEBCRgTCQmHcAMPBAMFpGuPLYUTJwMKiVUBBQwJjVBTg0NhA5ZagSCKTIM1P4FZglWBcg X-IronPort-AV: E=Sophos;i="4.84,853,1355094000"; d="scan'208";a="6666632" Received: from mail-wi0-f177.google.com ([209.85.212.177]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 15 Mar 2013 19:04:19 +0100 Received: by mail-wi0-f177.google.com with SMTP id hm14so794539wib.4 for ; Fri, 15 Mar 2013 11:04:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=x-received:sender:date:from:to:cc:subject:message-id:references :mime-version:content-type:content-disposition:in-reply-to :user-agent; bh=Dt3SThuowOR6wLRbcCnESBxf30dalXQi244+hd4CXCc=; b=ywDotLnwqetv4CfwU9tspjviIGhhUWEftR1dRB1WRxl2yh1ZjfeRsWOV1OwwjaLQNq k5GL9isKd+EHVTZWqfVCtEpRhIb2Aj/sASdtZ0MmN30WRXodMBqJZs1RTDKZL7oV87/c P0nOD/QPoqwuY1P0aOOMHAetUfl2mWgCIW8kHR7C2aRBPl81U0NKz18x7GXOqf1pQ3Zn ecZ+iwH8SJjW0egnwvY9abEm8bFPrYKmmXjfKuwHxnGsfEv359uCLPQubBVOBCqd7gBW 8YwWFT5ccsryHqmNxMTlsl4CjVYwlav7rgOxWuCYusjzpbvDUqJk0Ikj9Mahk1I1+D3U C/Ng== X-Received: by 10.180.183.81 with SMTP id ek17mr4812619wic.2.1363370659414; Fri, 15 Mar 2013 11:04:19 -0700 (PDT) Received: from voyager (bny92-3-81-56-44-163.fbx.proxad.net. [81.56.44.163]) by mx.google.com with ESMTPS id ed6sm4659795wib.9.2013.03.15.11.04.17 (version=TLSv1 cipher=RC4-SHA bits=128/128); Fri, 15 Mar 2013 11:04:18 -0700 (PDT) Sender: Roberto Di Cosmo Received: from dicosmo by voyager with local (Exim 4.72) (envelope-from ) id 1UGYzI-0007Ro-OW; Fri, 15 Mar 2013 19:04:16 +0100 Date: Fri, 15 Mar 2013 19:04:16 +0100 From: Roberto Di Cosmo To: Yaron Minsky Cc: Nicolas Barnier , caml-list@inria.fr Message-ID: <20130315180416.GB28316@voyager> References: <5143510E.2000009@recherche.enac.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools Hi Nicolas, nice idea to ask about this... let me add that in the Paris area there are many many places where OCaml is taught (too many to list here, but just out of muy head, University Paris Diderot, level L3 and L1, University Pierre et Marie Curie, Orsay, ESIIE and Epitech all use OCaml at different levels) We would really need a central place to keep this info well structured. Even a simple wiki page would do. On Fri, Mar 15, 2013 at 01:56:14PM -0400, Yaron Minsky wrote: > - Harvard's CS51 is the 2nd-semester course which all CS majors take, > and it is taught in OCaml. > - Cornell's algorithms class is mandatory for all majors, and is > taught in OCaml. > - Penn teaches OCaml in at least some of it's intro sequence. > - Not quite OCaml, but CMU teaches SML to all undergrads as part of > its intro sequence. > - Brown does at least some OCaml in their CS curriculum, though I'm > not sure of the details. I just know that a goodly fraction of the > applicants from Brown know OCaml. > - Princeton has a new FP course that teaches OCaml, that I know people > there are pretty excited about. > > There are probably more I'm missing, but that's a start > > y > > On Fri, Mar 15, 2013 at 12:49 PM, Nicolas Barnier > wrote: > > Hi OCamlers, > > > > We use OCaml at ENAC (French Civil Aviation University) to teach the basics > > of programming and the > > design of algorithms in the first year course of CS major since 1995. The > > cursus is now under deep > > revisionand we're trying to advocate its convenience in the new cursus to > > our hierarchy and > > colleagues. > > > > We were thus wondering which engineering schools and universities are > > actually currently using > > OCaml, and for which cursus. Short of finding a long enough list on the > > OCaml websites or by > > googling, we've decided to try the caml-list for feedback. So if you are > > involved in a CS course > > using OCaml, we would greatly appreciate that you let us know, so as to help > > us arguing to keep > > this great language in our cursus. > > > > Cheers, > > > > -- Nicolas Barnier > > > > > > -- > > Caml-list mailing list. Subscription management and archives: > > https://sympa.inria.fr/sympa/arc/caml-list > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs -- Roberto Di Cosmo ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: roberto@dicosmo.org Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 320 (3rd floor) Batiment Sophie Germain Avenue de France Metro Bibliotheque Francois Mitterrand, ligne 14/RER C ----------------------------------------------------------------- GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3