caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
To: caml-list@margaux
Subject: Cours CAML-Ada
Message-ID: <9209300722.AA26980@concorde.inria.fr> (raw)


Un cours en francais d'initiation a la programmation reposant sur CAML
vient de sortir.

Ce cours est donne en premier cycle du CNAM. Il commence par une
approche fonctionnelle de la programmation (avec CAML Light) relayee
par l'apprentissage des langages imperatifs (avec Ada). Il montre
comment passer harmonieusement d'un texte ecrit dans le style
fonctionnel a un texte ecrit dans un langage de programmation
classique. L'approche repose sur une description semantique simplifiee
des concepts utilises en programmation (incluant modes de portee des
identificateurs, polymorphisme, filtrage, exceptions, modules et
genericite). Il contient de nombreux exercices corriges.


Titre : Concepts et outils de programmation
        le style fonctionnel, le style imperatif
         avec CAML et Ada

Auteurs :
Therese Accart Hardin et Veronique Donzeau-Gouge Viguie

Editeur : InterEditions
ISBN 2 7296 0419 7

Il sera disponible dans toutes les (bonnes) librairies a partir du 13
Octobre (environ 250F).

donzeau@margaux.inria.fr
hardin@margaux.inria.fr








                 reply	other threads:[~1992-10-02 17:40 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

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=9209300722.AA26980@concorde.inria.fr \
    --to=caml-list@margaux \
    /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).