Université de Nice Sophia-Antipolis

Master 1 Informatique

Année 2006/2007

Module I3
Introduction au langage Caml

Laurence Pierre (Laurence.Pierre@unice.fr)

Travaux Pratiques

Attention, les corrigés sommaires fournis ne sont qu'indicatifs.

Corrigé numéro 1

FAQ :

Manuel OCAML en ligne, fonctions de base

Le lamba calcul en quelques mots.

Comparer l'exo 2.3 et la currification en Scheme.

Planche d'exos numéro 2.

Corrigé numéro 2