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

Next message: Vyskocil Vladimir: "Modules mutuellement recursifs ?"
Previous message: Michel Quercia: "Re: recursive datatypes"
Maybe in reply to: Simon Helsen: "recursive datatypes"
Next in thread: Fredrik Granlund: "Re: Algorithme de Milner (synthè se de type)"
Reply: Fredrik Granlund: "Re: Algorithme de Milner (synthè se de type)"
Reply: Didier Remy: "Re: Algorithme de Milner (synth(Fiso-8859-1?Q?è?? se de type)"
Reply: Daniel de Rauglaudre: "Camlp4 1.06 released"
Reply: Olivier Bouyssou: "Native thread in O'Caml 1.06"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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.

Next message: Vyskocil Vladimir: "Modules mutuellement recursifs ?"
Previous message: Michel Quercia: "Re: recursive datatypes"
Maybe in reply to: Simon Helsen: "recursive datatypes"
Next in thread: Fredrik Granlund: "Re: Algorithme de Milner (synthè se de type)"
Reply: Fredrik Granlund: "Re: Algorithme de Milner (synthè se de type)"
Reply: Didier Remy: "Re: Algorithme de Milner (synth(Fiso-8859-1?Q?è?? se de type)"
Reply: Daniel de Rauglaudre: "Camlp4 1.06 released"
Reply: Olivier Bouyssou: "Native thread in O'Caml 1.06"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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