coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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.
- [Coq-Club] Hindley-Milner type inference algorithm, Roman Beslik
- <Possible follow-ups>
- Re: [Coq-Club] Hindley-Milner type inference algorithm,
Roman Beslik
- Re: [Coq-Club] Hindley-Milner type inference algorithm,
David MENTRE
- Re: [Coq-Club] Hindley-Milner type inference algorithm, David MENTRE
- Re: [Coq-Club] Hindley-Milner type inference algorithm, Jacques Garrigue
- Re: [Coq-Club] Hindley-Milner type inference algorithm,
David MENTRE
- Re: [Coq-Club] Hindley-Milner type inference algorithm, Roman Beslik
Archive powered by MhonArc 2.6.16.