The Coq mailing list

[Roman Beslik <beroal AT ukr.net>]

Thanks. Can I get Coq source code? The link provided in the paper is 
invalid.

On 19.05.10 10:44, 
dubois AT ensiie.fr
 wrote:
> Hi
> Yes there is one done 10 years ago. Look at the following paper
> C. DUBOIS, V. MÉNISSIER-MORAIN.Certification of a type inference tool for ML: 
> Damas-Milner within Coq. Journal of Automated Reasoning,Kluwer Academic 
> Publishers, vol 23, No 3-4, 319-346
>
> Catherine Dubois
> ------Message d'origine------
> De : Roman Beslik
> À : Coq-Club
> Objet : [Coq-Club] Hindley-Milner type inference algorithm
> Envoyé : 19 mai, 2010 09:01
>
> Hi all. Is there a formalization of the subject in Coq?
>    

--
Best regards,
  Roman Beslik.