Algorithme de Milner (synthè se de type)

From: Jean Charles Gregoire (gregoire@inrs-telecom.uquebec.ca)
Date: Wed Nov 12 1997 - 20:23:39 MET


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?è?= se de type)
Message-Id: <323_8540_879362618_1@someware>

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.



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:12 MET