From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lukstafi@gmail.com>
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 60CF87EE80
	for <caml-list@sympa.inria.fr>; Sat, 16 Mar 2013 02:16:03 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  lukstafi@gmail.com) identity=pra; client-ip=209.85.220.175;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="lukstafi@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  lukstafi@gmail.com designates 209.85.220.175 as permitted
  sender) identity=mailfrom; client-ip=209.85.220.175;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="lukstafi@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-vc0-f175.google.com) identity=helo;
  client-ip=209.85.220.175;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="lukstafi@gmail.com";
  x-sender="postmaster@mail-vc0-f175.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Aj4DACfGQ1HRVdyvkGdsb2JhbABDiDGrHYkriDKBXwgWDgEBAQEJCRQUKIIhCgEFIx0BGx0BAwwGBQMBBzcCAiIBEQEFARwGiBQBAw8MpRaLY0+Ce4ReChknDVmIfAEFDI8JB4ItgRMDlluBH44BFimELjs
X-IPAS-Result: Aj4DACfGQ1HRVdyvkGdsb2JhbABDiDGrHYkriDKBXwgWDgEBAQEJCRQUKIIhCgEFIx0BGx0BAwwGBQMBBzcCAiIBEQEFARwGiBQBAw8MpRaLY0+Ce4ReChknDVmIfAEFDI8JB4ItgRMDlluBH44BFimELjs
X-IronPort-AV: E=Sophos;i="4.84,854,1355094000"; 
   d="scan'208";a="6690336"
Received: from mail-vc0-f175.google.com ([209.85.220.175])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Mar 2013 02:16:02 +0100
Received: by mail-vc0-f175.google.com with SMTP id hf12so1670815vcb.6
        for <caml-list@inria.fr>; Fri, 15 Mar 2013 18:16:01 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-received:mime-version:in-reply-to:references:from:date:message-id
         :subject:to:cc:content-type;
        bh=rpEmH5hC19vVuLEOqWyeIRSo8y/mN1guvh6zrmIgFYA=;
        b=PYgL4Xegay+zd8TlrKAf/YoJabfWWBg1fZIHekouTiOb1u6jvorGOdNsSjHGkq/Lia
         AYDMXg8AntBGkzkbJ9jG1SgT2U3QDa5/AqRl++ZDUcMJk4U/8G7Cd55mLASMRY1DvoRz
         UVzupnVFXkh/4UA+Q4iOOaDga2qYbbvjbyH56YBr6MmeIVORxq7SaU8N2F7wvatigtJ+
         V1+wDCBOaAYCvKbMCl1zYNWhNtPnThdYGgQOJ5SdeVy0hhHnRj7J2laN8mhwiPaagxMa
         /VQ0BGgZe2/Mr4KfEh56NR4N04nESNC4k13vOrVfWw6wt1g0ke8riILVrF4K0jJLRg5o
         +epw==
X-Received: by 10.58.224.101 with SMTP id rb5mr10020574vec.17.1363396560909;
 Fri, 15 Mar 2013 18:16:00 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.58.246.9 with HTTP; Fri, 15 Mar 2013 18:15:40 -0700 (PDT)
In-Reply-To: <CAAFfW_ropcxgU_YfQtxZjM+gM1BoSvie4VLdDzvw0-2vz7kodQ@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>
From: Lukasz Stafiniak <lukstafi@gmail.com>
Date: Sat, 16 Mar 2013 02:15:40 +0100
Message-ID: <CAJMfKEVw5f016LeXi=rPZftE=7in3qziwk4aY49BXbg6Mn19Ww@mail.gmail.com>
To: OCaml Mailing List <caml-list@inria.fr>
Cc: Nicolas Barnier <barnier@recherche.enac.fr>
Content-Type: multipart/alternative; boundary=089e0117635fb3ae3104d8007fe2
Subject: Re: [Caml-list] Use of OCaml in universities and engineering
 schools


--089e0117635fb3ae3104d8007fe2
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

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 (ra=
ther
than OCaml).

http://international.uni.wroc.pl/en/course/functional-programming
http://international.uni.wroc.pl/en/course/programming

--089e0117635fb3ae3104d8007fe2
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">OCaml is taught in an optional course called &quot;Functio=
nal Programming&quot; at Wroc=C5=82aw University of Technology and at Unive=
rsity of Wroc=C5=82aw. For contrast, at an obligatory course called &quot;P=
rogramming&quot; for Computer Science at University of Wroc=C5=82aw, there =
are elements of Haskell and Prolog (rather than OCaml).<br>

<div class=3D"gmail_extra"><br></div><div class=3D"gmail_extra"><a href=3D"=
http://international.uni.wroc.pl/en/course/functional-programming">http://i=
nternational.uni.wroc.pl/en/course/functional-programming</a><br></div><div=
 class=3D"gmail_extra">

<a href=3D"http://international.uni.wroc.pl/en/course/programming">http://i=
nternational.uni.wroc.pl/en/course/programming</a><br></div><div class=3D"g=
mail_extra"><br></div></div>

--089e0117635fb3ae3104d8007fe2--