Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
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>
Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools
Date: Sat, 16 Mar 2013 00:20:45 -0500	[thread overview]
Message-ID: <CAM=zjuwNWDibdRMh=p-7436zXTC59zgJZ2brOy1K1iRg-GJQSg@mail.gmail.com> (raw)
In-Reply-To: <CAJMfKEVw5f016LeXi=rPZftE=7in3qziwk4aY49BXbg6Mn19Ww@mail.gmail.com>

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ław University of Technology and at University of Wrocław. For contrast,
> at an obligatory course called "Programming" for Computer Science at
> University of Wrocław, there are elements of Haskell and Prolog (rather than
> OCaml).
>
> http://international.uni.wroc.pl/en/course/functional-programming
> http://international.uni.wroc.pl/en/course/programming
>

  reply	other threads:[~2013-03-16  5:20 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-03-15 16:49 Nicolas Barnier
2013-03-15 17:56 ` Yaron Minsky
2013-03-15 18:04   ` Roberto Di Cosmo
2013-03-15 18:24     ` Bertrand Bonnefoy-Claudet
2013-03-15 18:35       ` Roberto Di Cosmo
2013-03-15 20:12     ` Ashish Agarwal
2013-03-16  1:02       ` Philippe Wang
2013-03-16  1:15         ` Lukasz Stafiniak
2013-03-16  5:20           ` Bertrand Bonnefoy-Claudet [this message]
2013-03-15 20:53 ` Marek Kubica
2013-03-16  5:26 ` Jason Yeo
2013-03-16  5:34   ` Valentin ROBERT
2013-03-16  8:37     ` Dagnat Fabien
2013-03-16 15:26     ` Milan Stanojević
2013-03-17 15:58 ` Alan Schmitt
2013-03-17 21:07 ` Kristopher Micinski
2013-03-17 21:29   ` Lukasz Stafiniak
2013-03-18 14:00     ` Yaron Minsky
2013-03-18 14:07       ` Simon Cruanes
2013-03-18 15:47         ` Anil Madhavapeddy
2013-03-19  5:43       ` D. LoBraico
2013-03-18  8:20   ` Marc Pantel
2013-03-18  9:52     ` Christophe Garion
2013-03-18 10:16       ` Sebastien Ferre
2013-03-26 10:21         ` Nicolas Braud-Santoni
2013-03-19  7:35 ` Simão Sousa
2013-03-22 14:52 ` Luca Saiu
2013-03-17 16:22 Mark Raymond

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAM=zjuwNWDibdRMh=p-7436zXTC59zgJZ2brOy1K1iRg-GJQSg@mail.gmail.com' \
    --to=bertrandbc@gmail.com \
    --cc=barnier@recherche.enac.fr \
    --cc=caml-list@inria.fr \
    --cc=lukstafi@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox