From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <bertrandbc@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id AAC067EE80
	for <caml-list@sympa.inria.fr>; Sat, 16 Mar 2013 06:20:47 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  bertrandbc@gmail.com) identity=pra; client-ip=209.85.220.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="bertrandbc@gmail.com";
  x-sender="bertrandbc@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  bertrandbc@gmail.com designates 209.85.220.172 as permitted
  sender) identity=mailfrom; client-ip=209.85.220.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="bertrandbc@gmail.com";
  x-sender="bertrandbc@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-vc0-f172.google.com) identity=helo;
  client-ip=209.85.220.172;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="bertrandbc@gmail.com";
  x-sender="postmaster@mail-vc0-f172.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlYFAKz/Q1HRVdyskGdsb2JhbABDiCy8egMBgV0IFg4BAQEBCQkUFCiCKwEFIx0BGx0BAwwGBQsDDAImAgIhAQERAQUBHAYTiAEBAw8MpQqLY0+Ce4RLChknDVmIfAEFDIEXiymBZDIzB4ItgRMDiHWMBoFggR+KSYM4FimESx4
X-IPAS-Result: AlYFAKz/Q1HRVdyskGdsb2JhbABDiCy8egMBgV0IFg4BAQEBCQkUFCiCKwEFIx0BGx0BAwwGBQsDDAImAgIhAQERAQUBHAYTiAEBAw8MpQqLY0+Ce4RLChknDVmIfAEFDIEXiymBZDIzB4ItgRMDiHWMBoFggR+KSYM4FimESx4
X-IronPort-AV: E=Sophos;i="4.84,855,1355094000"; 
   d="scan'208";a="7889442"
Received: from mail-vc0-f172.google.com ([209.85.220.172])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Mar 2013 06:20:47 +0100
Received: by mail-vc0-f172.google.com with SMTP id hr11so1768139vcb.31
        for <caml-list@inria.fr>; Fri, 15 Mar 2013 22:20:45 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:x-received:in-reply-to:references:date:message-id
         :subject:from:to:cc:content-type:content-transfer-encoding;
        bh=DBDrt1sqizfdY1rCp7lDBJVDu+t8DcNMcA3StY1BndU=;
        b=hkbZ6AyI1/u3KMbJr3/BvIbv56MiHBd4iU6vtzgE92lXTUggNYQrrkWc8kBcOAxFn/
         3bugE4FiRyJAaGKuFW+Lzw6FrvxiUjhkasihGmlAwTdajrflvu1SnY2WkBYqqP/5VbrB
         V2FWN+L6swvhun72MhVnWWW+lWLXu9eTl/2QVWXDXaY5EDAIizj0hGGDXk0S5YbB0ulf
         antYav8ZOraVUWM4QdRqCMY00VmuzhBjcBUeDDQvveN9g1m2eYubavYm/PeUtDIn/Q+u
         9JgEjvfyZXnr/PO6ZZ47t7G+CsLma0jk5Z8iVKrPrYZrndragM7d8K+xED8X1kiRYlC/
         SXWg==
MIME-Version: 1.0
X-Received: by 10.220.223.202 with SMTP id il10mr10250512vcb.4.1363411245684;
 Fri, 15 Mar 2013 22:20:45 -0700 (PDT)
Received: by 10.59.0.34 with HTTP; Fri, 15 Mar 2013 22:20:45 -0700 (PDT)
In-Reply-To: <CAJMfKEVw5f016LeXi=rPZftE=7in3qziwk4aY49BXbg6Mn19Ww@mail.gmail.com>
References: <5143510E.2000009@recherche.enac.fr>
	<CACLX4jQHBY54FSu6VYoqhGKcW0XYs2uWif0u-wHkFTvLcRCsWg@mail.gmail.com>
	<20130315180416.GB28316@voyager>
	<CAMu2m2K0Gaab4c2di9HjX2jaOWpz2wNe-KF1sgMNAV7Hg2NsVA@mail.gmail.com>
	<CAAFfW_ropcxgU_YfQtxZjM+gM1BoSvie4VLdDzvw0-2vz7kodQ@mail.gmail.com>
	<CAJMfKEVw5f016LeXi=rPZftE=7in3qziwk4aY49BXbg6Mn19Ww@mail.gmail.com>
Date: Sat, 16 Mar 2013 00:20:45 -0500
Message-ID: <CAM=zjuwNWDibdRMh=p-7436zXTC59zgJZ2brOy1K1iRg-GJQSg@mail.gmail.com>
From: Bertrand Bonnefoy-Claudet <bertrandbc@gmail.com>
To: Lukasz Stafiniak <lukstafi@gmail.com>
Cc: OCaml Mailing List <caml-list@inria.fr>, Nicolas Barnier <barnier@recherche.enac.fr>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] Use of OCaml in universities and engineering
 schools

I forgot to mention the University of Illinois at Urbana-Champaign.
There's an undergrad course on programming languages and compilers:

http://courses.engr.illinois.edu/cs421/

2013/3/15 Lukasz Stafiniak <lukstafi@gmail.com>:
> OCaml is taught in an optional course called "Functional Programming" at
> Wroc=C5=82aw University of Technology and at University of Wroc=C5=82aw. =
For contrast,
> at an obligatory course called "Programming" for Computer Science at
> University of Wroc=C5=82aw, there are elements of Haskell and Prolog (rat=
her than
> OCaml).
>
> http://international.uni.wroc.pl/en/course/functional-programming
> http://international.uni.wroc.pl/en/course/programming
>