• Plan des 4 prochains cours
• Évaluation
• Portée dynamique
• Portée statique
• Interaction avec le système de fichiers
• Terminologie
• Les fonctions
• Appel par Nom
• Appel par Valeur
• La liaison
• Les fonctions comme valeurs
• Les fonctions sont des valeurs spéciales
• Liaison Caml-Light
• Application
• Fonctions à plusieurs arguments
• Application partielle
• Fonctions
• Le Filtrage
• La Récursivité
• les types Somme
• les Types Sommes
• Ordre supérieur
• Récursion terminale
• Récursion terminale
• Dichotomie
• Évaluation des arguments
• Les exceptions
• Traits impératifs
• La séquence, les boucles
• Impératif/Fonctionnel
• Impératif/Fonctionnel
• Correction de programmes
• Terminaison
• Correction
• Exemple : le pgcd

Ce document a été traduit de L^AT_EX par H^EV^EA et H^AC^HA.