From: Nicolas Barnier <barnier@recherche.enac.fr>
To: caml-list@inria.fr
Subject: [Caml-list] Use of OCaml in universities and engineering schools
Date: Fri, 15 Mar 2013 17:49:18 +0100 [thread overview]
Message-ID: <5143510E.2000009@recherche.enac.fr> (raw)
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
next reply other threads:[~2013-03-15 16:49 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-03-15 16:49 Nicolas Barnier [this message]
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
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=5143510E.2000009@recherche.enac.fr \
--to=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).