Re: Algorithme de Milner (synth=?iso-8859-1?Q?=E8?= se de type)

Fredrik Granlund (Fredrik.Granlund@emw.ericsson.se)
Tue, 18 Nov 1997 19:34:18 +0100 (MET)

Date: Tue, 18 Nov 1997 19:34:18 +0100 (MET)
From: Fredrik Granlund <Fredrik.Granlund@emw.ericsson.se>
To: Jean Charles Gregoire <gregoire@inrs-telecom.uquebec.ca>
Subject: Re: Algorithme de Milner (synth=?iso-8859-1?Q?=E8?= se de type)
In-Reply-To: <323_8540_879362618_1@someware>

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

>=20
> Quelqu'un conna=EEtrait-il une page Web d=E9crivant le principe de
> l'algorithme 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.=20
>=20
> Merci=20
>=20
> 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=E9goire. =20

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
=20

--
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