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