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

>
> Quelqu'un connaîtrait-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ÖLNDAL, SWEDEN
E-mail: Fredrik.Granlund@emw.ericsson.se