Re: [Caml-list] Use of OCaml in universities and engineering schools

[Roberto Di Cosmo <roberto@dicosmo.org>]

Hi Nicolas,
   nice idea to ask about this... let me add that in the Paris
area there are many many places where OCaml is taught (too
many to list here, but just out of muy head, University Paris Diderot,
level L3 and L1, University Pierre et Marie Curie, Orsay, ESIIE
and Epitech all use OCaml at different levels)

We would really need a central place to keep this info well
structured. Even a simple wiki page would do.

On Fri, Mar 15, 2013 at 01:56:14PM -0400, Yaron Minsky wrote:
> - 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
> 
> -- 
> 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

-- 
Roberto Di Cosmo
 
------------------------------------------------------------------
Professeur               En delegation a l'INRIA
PPS                      E-mail: roberto@dicosmo.org
Universite Paris Diderot WWW  : http://www.dicosmo.org
Case 7014                Tel  : ++33-(0)1-57 27 92 20
5, Rue Thomas Mann       
F-75205 Paris Cedex 13   Identica: http://identi.ca/rdicosmo
FRANCE.                  Twitter: http://twitter.com/rdicosmo
------------------------------------------------------------------
Attachments:
MIME accepted, Word deprecated
      http://www.gnu.org/philosophy/no-word-attachments.html
------------------------------------------------------------------
Office location:
 
Bureau 320 (3rd floor)
Batiment Sophie Germain
Avenue de France
Metro Bibliotheque Francois Mitterrand, ligne 14/RER C
-----------------------------------------------------------------
GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3