From: Lukasz Stafiniak <lukstafi@gmail.com>
To: OCaml Mailing List <caml-list@inria.fr>
Cc: Nicolas Barnier <barnier@recherche.enac.fr>
Subject: Re: [Caml-list] Use of OCaml in universities and engineering schools
Date: Sat, 16 Mar 2013 02:15:40 +0100 [thread overview]
Message-ID: <CAJMfKEVw5f016LeXi=rPZftE=7in3qziwk4aY49BXbg6Mn19Ww@mail.gmail.com> (raw)
In-Reply-To: <CAAFfW_ropcxgU_YfQtxZjM+gM1BoSvie4VLdDzvw0-2vz7kodQ@mail.gmail.com>
[-- Attachment #1: Type: text/plain, Size: 437 bytes --]
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
[-- Attachment #2: Type: text/html, Size: 769 bytes --]
next prev parent reply other threads:[~2013-03-16 1:16 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 [this message]
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='CAJMfKEVw5f016LeXi=rPZftE=7in3qziwk4aY49BXbg6Mn19Ww@mail.gmail.com' \
--to=lukstafi@gmail.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).