Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Hindley-Milner type inference algorithm

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Hindley-Milner type inference algorithm


chronological Thread 
  • From: David MENTRE <dmentre AT linux-france.org>
  • To: Roman Beslik <beroal AT ukr.net>
  • Cc: Coq-Club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Hindley-Milner type inference algorithm
  • Date: Wed, 19 May 2010 11:01:37 +0200
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:from:date :x-google-sender-auth:message-id:subject:to:cc:content-type; b=dYw/smBTL5BuYH0K8ZbJ1IhVBKBTeOI92VkPfBW4WToECfIfwCc4JkgswjfZnvyjgb ZixUjKPFuWWzW/D6r8CRONTHUriku0ka/oGwUMb6nf6OcQ/7fVftH6Y2yyFc8a+Kq0BY lSJY7xBBs1Sh80sGL/tMDqSclkunt/AKfXzCc=

2010/5/19 David MENTRE 
<dmentre AT linux-france.org>:
> 2010/5/19 Roman Beslik 
> <beroal AT ukr.net>:
>> Thanks. Can I get Coq source code? The link provided in the paper is
>> invalid.
>
> I have not googled enough: http://coq.inria.fr/download

Oops sorry, I read your email too quickly. The current page for this
work is apparently http://www-spiral.lip6.fr/~vmm/fr/recherche.php but
the links to Coq development are all dead.

Sincerely yours,
d.



Archive powered by MhonArc 2.6.16.

Top of Page