Browse thread
Lettre de Caml # 6
- Laurent Chéno
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 1997-08-25 (09:34) |
From: | Laurent Chéno <laurent.cheno@h...> |
Subject: | Lettre de Caml # 6 |
(poor english version at the end of the message) Bonjour ! J'ai le plaisir de vous annoncer la disponibilité du numéro 6 de la Lettre de Caml à l'URL: http://wwwperso.hol.fr/~lcheno Au sommaire de ce numéro : - partitions d'un entier, y compris l'algorithme RSK (et soninverse) ; - lambda-calcul : notation de de Bruijn, alpha-équivalence,bêta-réduction. Toute contribution sera la bienvenue : laurent.cheno@hol.fr =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-==-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- PS : Pierre Weis étant absent (sauf erreur de ma part), j'ai déposé l'ensemble sur ma page personnelle, ce qui explique le changement d'URL. D'autre part j'ai tout transformé en PDF qui me semble le plusportable d'une plate-forme à l'autre ... j'espère que vous n'aurez pas deproblème de chargement, sinon soyez gentil de me les signaler. Au passage : les tables des matières sont *actives* en formatpdf... essayez ! =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-==-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- I am happy to announce the availability for the "Caml letter, number6" (written in French as << La lettre de Caml no 6>>), to be found at: http://wwwperso.hol.fr/~lcheno Summary : - partitions of an integer, including RSK-algorithm (and reverse); - lambda-calcul: de Bruijn notation, alpha-equivalence, beta-reduction. Any contribution to "The Caml letter" is welcome (laurent.cheno@hol.fr)