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 JAA04548 for caml-redistribution; Wed, 19 Nov 1997 09:11:39 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA24422 for <caml-list@pauillac.inria.fr>; Tue, 18 Nov 1997 19:40:06 +0100 (MET)
Received: from penguin.wise.edt.ericsson.se (penguin-ext.wise.edt.ericsson.se [194.237.142.5])
	by concorde.inria.fr (8.8.7/8.8.5) with ESMTP id TAA24017
	for <caml-list@inria.fr>; Tue, 18 Nov 1997 19:40:04 +0100 (MET)
Received: from poem.emw.ericsson.se (poem.emw.ericsson.se [136.225.97.22]) by penguin.wise.edt.ericsson.se (8.7.5/8.7.3/glacier-1.12) with SMTP id TAA19693; Tue, 18 Nov 1997 19:35:56 +0100 (MET)
Received: from biff.mo.emw.ericsson.se (biff.emw.ericsson.se [136.225.83.24]) by poem.emw.ericsson.se (8.6.12/8.6.12) with ESMTP id TAA22815; Tue, 18 Nov 1997 19:24:08 +0100
Received: from miriam.mo.emw.ericsson.se (miriam.mo.emw.ericsson.se [136.225.231.215]) by biff.mo.emw.ericsson.se (SMI-8.6/SMI-SVR4-biff-1.0) with SMTP
	id TAA25983; Tue, 18 Nov 1997 19:34:46 +0100
Received: from localhost (emwfrgr@localhost) by miriam.mo.emw.ericsson.se (SMI-8.6/SMI-SVR4-esunix-1.2) with ESMTP
	id TAA03094; Tue, 18 Nov 1997 19:34:19 +0100
X-Authentication-Warning: miriam.mo.emw.ericsson.se: emwfrgr owned process doing -bs
Date: Tue, 18 Nov 1997 19:34:18 +0100 (MET)
From: Fredrik Granlund <Fredrik.Granlund@emw.ericsson.se>
X-Sender: emwfrgr@miriam
To: Jean Charles Gregoire <gregoire@inrs-telecom.uquebec.ca>
cc: caml-list@inria.fr
Subject: Re: Algorithme de Milner (synth=?iso-8859-1?Q?è?= se de type)
In-Reply-To: <323_8540_879362618_1@someware>
Message-ID: <Pine.GSO.3.96.971118193048.3092B-100000@miriam>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=ISO-8859-1
Content-Transfer-Encoding: QUOTED-PRINTABLE
Sender: weis

On Wed, 12 Nov 1997, Jean Charles Gregoire wrote:

>
> Quelqu'un conna=EEtrait-il une page Web décrivant le principe de
> l'algorithme 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
> synthesis? I would like to have this for a student who must implement
> it. Thanks,  J-Ch. Grégoire.  

I suggest you have a look at Luca Cardellis homepage. He has written a
paper entitled "Basic Polymorphic Typechecking" as well as a lot of other
papers on types and type systems. They are all available online.

http://www.luca.demon.co.uk/Papers.html

Hope this helps.


///Fredrik
 
--
Fredrik Granlund                              | Phone:  +46 31 747 00 00
Ericsson Microwave Systems AB                 | Direct: +46 31 747 00 42
Airborne Radar Division                       | Home:   +46 31 776 57 64
Software Engineering Environments             | Fax:    +46 31 747 31 08
Bergfotsgatan 2, S-431 84  M=D6LNDAL, SWEDEN
E-mail: Fredrik.Granlund@emw.ericsson.se