La lettre de Caml
La lettre de Caml est une publication de Laurent Chéno.
Les numéros suivants sont disponibles:
Vous êtes très cordialement invités à envoyer vos contributions à Laurent.
Pour lire les Lettres de Caml, vous aurez besoin d'Acrobat® Reader (disponible gratuitement sous forme de plug-in pour votre browser, et en tant qu'application séparée).
Les sources de la Lettre de Caml numéro 0.
- Numéro 1 (.pdf, 194 k) ou (.ps.gz, 600 k)
Au programme de cette lettre:
- Un convertisseur graphique
- Une recherche linéaire du i-ème plus petit élément
- Parseurs et expressions arithmétiques
- Expressions régulières et automates
Les sources de la Lettre de Caml numéro 1.
Les sources de la Lettre de Caml numéro 2.
- Numéro 3 (.pdf, 191 k) ou (.ps.gz, 800 k)
Au programme de cette lettre:
- Formes normales disjonctives et conjonctives
- Arithmétique exacte en Caml
- Algorithme de Johnson sur les permutations
- Parseur d'expressions arithmétiques
Les sources de la Lettre de Caml numéro 3.
- Numéro 4 (.pdf, 206 k) ou (.ps.gz, 800 k)
Au programme de cette lettre:
- Recherche d'un motif dans une chaîne (algorithmes de Knuth, Morris et Pratt et de Boyer, Moore et Horspool)
- La bibliothèque format
Les sources de la Lettre de Caml numéro 4.
Les sources de la Lettre de Caml numéro 5.
- Numéro 6 ( pdf, 314 k) ou (.ps.gz, 1200 k)
Au programme de cette lettre:
- Partitions d'un entier naturel, dont algorithme RSK
- Introduction au lambda-calcul, alpha-équivalence, bêta-réduction, utilisation de la notation de de Bruijn
Les sources de la Lettre de Caml numéro 6.
Les sources de la Lettre de Caml numéro 7.