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 086967EE80 for ; Sun, 17 Mar 2013 22:07:14 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of micinski@cs.umd.edu) identity=pra; client-ip=128.8.127.149; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="micinski@cs.umd.edu"; x-sender="micinski@cs.umd.edu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of micinski@cs.umd.edu) identity=mailfrom; client-ip=128.8.127.149; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="micinski@cs.umd.edu"; x-sender="micinski@cs.umd.edu"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@bacon.cs.umd.edu) identity=helo; client-ip=128.8.127.149; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="micinski@cs.umd.edu"; x-sender="postmaster@bacon.cs.umd.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnwCAJcvRlGACH+VgWdsb2JhbABDsyeSEIFrHg4BARYmKIIqAQEFbgsQCwsNDSEiEgEFAQoSBhMSh3ADDwykKpNUA1aJD48VB4NAA5ZegR+OARYphEk X-IPAS-Result: AnwCAJcvRlGACH+VgWdsb2JhbABDsyeSEIFrHg4BARYmKIIqAQEFbgsQCwsNDSEiEgEFAQoSBhMSh3ADDwykKpNUA1aJD48VB4NAA5ZegR+OARYphEk X-IronPort-AV: E=Sophos;i="4.84,860,1355094000"; d="scan'208";a="6814051" Received: from server-nat-6.cs.umd.edu (HELO bacon.cs.umd.edu) ([128.8.127.149]) by mail3-smtp-sop.national.inria.fr with ESMTP; 17 Mar 2013 22:07:12 +0100 Received: from mail-oa0-f54.google.com (mail-oa0-f54.google.com [209.85.219.54]) (Authenticated sender: micinski) by bacon.cs.umd.edu (Postfix) with ESMTPSA id BA2DCB40888 for ; Sun, 17 Mar 2013 17:07:08 -0400 (EDT) Received: by mail-oa0-f54.google.com with SMTP id n12so4932144oag.41 for ; Sun, 17 Mar 2013 14:07:08 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.182.241.134 with SMTP id wi6mr5252870obc.46.1363554428347; Sun, 17 Mar 2013 14:07:08 -0700 (PDT) Received: by 10.182.37.70 with HTTP; Sun, 17 Mar 2013 14:07:08 -0700 (PDT) In-Reply-To: <5143510E.2000009@recherche.enac.fr> References: <5143510E.2000009@recherche.enac.fr> Date: Sun, 17 Mar 2013 17:07:08 -0400 Message-ID: From: Kristopher Micinski To: Nicolas Barnier Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.3.8 (bacon.cs.umd.edu [0.0.0.0]); Sun, 17 Mar 2013 17:07:08 -0400 (EDT) X-CSD-MailScanner-ID: BA2DCB40888.A5BC2 X-CSD-MailScanner: Found to be clean X-CSD-MailScanner-SpamCheck: not spam, SpamAssassin (cached, score=-50, required 5, autolearn=not spam, ALL_TRUSTED -50.00) X-CSD-MailScanner-From: micinski@cs.umd.edu X-CSD-MailScanner-Watermark: 1364159228.96146@2A2nn2pOfkVbQFaL9gitVg X-Validation-by: micinski@cs.umd.edu Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools Maryland teaches OCaml in our classes (PL and compilers): http://www.cs.umd.edu/class/spring2013/cmsc330/ http://www.cs.umd.edu/class/fall2012/cmsc430/ Kris 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