caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Yaron Minsky <yminsky@janestreet.com>
To: Nicolas Barnier <barnier@recherche.enac.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools
Date: Fri, 15 Mar 2013 13:56:14 -0400	[thread overview]
Message-ID: <CACLX4jQHBY54FSu6VYoqhGKcW0XYs2uWif0u-wHkFTvLcRCsWg@mail.gmail.com> (raw)
In-Reply-To: <5143510E.2000009@recherche.enac.fr>

- Harvard's CS51 is the 2nd-semester course which all CS majors take,
  and it is taught in OCaml.
- Cornell's algorithms class is mandatory for all majors, and is
  taught in OCaml.
- Penn teaches OCaml in at least some of it's intro sequence.
- Not quite OCaml, but CMU teaches SML to all undergrads as part of
  its intro sequence.
- Brown does at least some OCaml in their CS curriculum, though I'm
  not sure of the details.  I just know that a goodly fraction of the
  applicants from Brown know OCaml.
- Princeton has a new FP course that teaches OCaml, that I know people
  there are pretty excited about.

There are probably more I'm missing, but that's a start

y

On Fri, Mar 15, 2013 at 12:49 PM, Nicolas Barnier
<barnier@recherche.enac.fr> 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

  reply	other threads:[~2013-03-15 17:56 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 [this message]
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
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=CACLX4jQHBY54FSu6VYoqhGKcW0XYs2uWif0u-wHkFTvLcRCsWg@mail.gmail.com \
    --to=yminsky@janestreet.com \
    --cc=barnier@recherche.enac.fr \
    --cc=caml-list@inria.fr \
    /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;
as well as URLs for NNTP newsgroup(s).