From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA02691 for caml-redistribution; Thu, 13 Nov 1997 18:20:36 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA12220 for <caml-list@pauillac.inria.fr>; Wed, 12 Nov 1997 20:27:10 +0100 (MET)
Received: from velcro.inrs-telecom.uquebec.ca (velcro.inrs-telecom.uquebec.ca [192.26.211.119])
	by nez-perce.inria.fr (8.8.7/8.8.5) with SMTP id UAA06149
	for <caml-list@inria.fr>; Wed, 12 Nov 1997 20:27:03 +0100 (MET)
Received: from someware.inrs-telecom.uquebec.ca by velcro.inrs-telecom.uquebec.ca with SMTP id AA21706
  (5.67a/IDA-1.5 for <caml-list@inria.fr>); Wed, 12 Nov 1997 14:26:28 -0500
Received: by someware.INRS-Telecom.UQuebec.CA (SMI-8.6/SMI-SVR4)
	id OAA08546; Wed, 12 Nov 1997 14:23:39 -0500
Date: Wed, 12 Nov 1997 14:23:39 -0500
From: gregoire@inrs-telecom.uquebec.ca (Jean Charles Gregoire)
Mime-Version: 1.0
To: caml-list@inria.fr
Subject: Algorithme de Milner (synth=?iso-8859-1?Q?è?= se de type)
Message-Id: <323_8540_879362618_1@someware>
Content-Id: <323_8540_879362618_2@someware>
Content-Type: text/richtext; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Sender: weis


Quelqu'un conna=EEtrait-il une page Web décrivant le principe de l'algo=
rithme
H-M pour la synthèse de type à la ML ? C'est pour donner une réf. à=
 un étudiant
qui doit le réaliser.


Merci


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égoire.