Date: Wed, 12 Nov 1997 14:23:39 -0500
From: gregoire@inrs-telecom.uquebec.ca (Jean Charles Gregoire)
To: caml-list@inria.fr
Subject: Algorithme de Milner (synth=?iso-8859-1?Q?=E8?= se de type)
Message-Id: <323_8540_879362618_1@someware>
<nl>
Quelqu'un conna=EEtrait-il une page Web d=E9crivant le principe de l'algo=
rithme
H-M pour la synth=E8se de type =E0 la ML ? C'est pour donner une r=E9f. =E0=
un =E9tudiant
qui doit le r=E9aliser.
<nl><nl>
Merci
<nl><nl>
Would anyone know of an online ref for the H-M algorithm for type synthes=
is?
I would like to have this for a student who must implement it.
Thanks,
J-Ch. Gr=E9goire.