From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3JEO0dt005992 for ; Tue, 19 Apr 2011 16:24:00 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApACADmarU3RVdc2kGdsb2JhbAClIwgUAQEBAQkJDQcUBCGJCqBAm0aFcQSXfTqEDA X-IronPort-AV: E=Sophos;i="4.64,239,1301868000"; d="scan'208,217";a="81361980" Received: from mail-ew0-f54.google.com ([209.85.215.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Apr 2011 16:23:54 +0200 Received: by ewy1 with SMTP id 1so3898633ewy.27 for ; Tue, 19 Apr 2011 07:23:54 -0700 (PDT) Received: by 10.213.103.137 with SMTP id k9mr4525903ebo.36.1303223032940; Tue, 19 Apr 2011 07:23:52 -0700 (PDT) Received: from gloster.vectorfabrics.com (84-53-79-176.adsl.unet.nl [84.53.79.176]) by mx.google.com with ESMTPS id x54sm4837277eeh.26.2011.04.19.07.23.51 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 19 Apr 2011 07:23:51 -0700 (PDT) From: Stefan Holdermans Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: multipart/alternative; boundary=Apple-Mail-6-645799698 Date: Tue, 19 Apr 2011 16:23:50 +0200 References: <7A683F76-3B58-40D8-9669-B42C74F89B1D@swierstra.net> Cc: Doaitse Swierstra To: Caml List Message-Id: <3DE0DC94-3EC4-4443-95CD-360DAD3A9DFB@vectorfabrics.com> X-Mailer: Apple Mail (2.1084) Subject: [Caml-list] Fwd: Summer school on Applied Functional Programming at Utrecht University; deadline for registration May 15 --Apple-Mail-6-645799698 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Again we will teach an "Applied Functional Programming Summer in Haskell" s= chool this year at Utrecht University. In the previous two occasions studen= ts were all very happy with the school and we plan to repeat this success t= his year. The intended audience are prospective master students who have been in cont= act with Functional Programming, e.g. by taking a general course on program= ming languages, and want to learn more about Haskell and its typical progra= mming patterns. In the previous two years we have taught an introductory pa= rt (advanced bachelor level), an advanced part (beginning master level) and= a shared part for both groups. Topics covered are, besides some examples o= f domain specific languages, also monads, monad transformers, arrows, parse= r combinators and self-analysing programs, underlying principles, type infe= rencing, etc. Half of the course time is spent on a larger programming exer= cise; you can also come with a problem of your own if you want, and get hel= p from the Utrecht University Software Technology group in finding the prop= er Haskell idioms, tools and libraries, for solving it. Important links:=20 -- our own page where we supply information based on questions asked http= ://www.cs.uu.nl/wiki/bin/view/USCS2011/WebHome -- the poster you can print and hang somewhere (why not your office door)= : http://www.cs.uu.nl/wiki/pub/USCS2011/WebHome/USCSpos11.pdf=20 -- the official summerschool site where you can register: http://www.utre= chtsummerschool.nl/index.php?type=3Dcourses&code=3DH9 Furthermore we ask for your cooperation to bring this announcement under th= e attention of potential participants. Best, Doaitse Swierstra PS: apologies if you get this mail more than once --Apple-Mail-6-645799698 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii
Again w= e will teach an "Applied Functional Programming Summer in Haskell" school t= his year at Utrecht University. In the previous two occasions students were= all very happy with the school and we plan to repeat this success this yea= r.

The intended audie= nce are prospective master students who have been in contact with Functiona= l Programming, e.g. by taking a general course on programming languages, an= d want to learn more about Haskell and its typical programming patterns. In= the previous two years we have taught an introductory part (advanced bache= lor level), an advanced part (beginning master level) and a shared part for= both groups. Topics covered are, besides some examples of domain specific = languages, also monads, monad transformers, arrows, parser combinators and = self-analysing programs, underlying principles, type inferencing, etc. Half= of the course time is spent on a larger programming exercise; you can also= come with a problem of your own if you want, and get help from the Utrecht= University Software Technology group in finding the proper Haskell idioms,= tools and libraries, for solving it.

Impo= rtant links: 
  -- our own page where we supply in= formation based on questions asked http://www.cs.uu.nl/wiki/bin/view/USCS2011/WebH= ome
  -- the poster you can print and hang somewhere (why = not your office door): http://www.cs.uu.nl/wiki/pub/USCS2011/WebHome/USCS= pos11.pdf 
  -- the official summerschool site= where you can register: http://www.utrechtsummerschool.nl/i= ndex.php?type=3Dcourses&code=3DH9

<= /div>
Furthermore we ask for your cooperation to bring this announcemen= t under the attention of potential participants.

&= nbsp;Best,
 Doaitse Swierstra

PS: a= pologies if you get this mail more than once

= --Apple-Mail-6-645799698--