coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

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 10:54:51 +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=xFFX560/1L/8pZQinYrwhKc513yyy9lQ3T89Wy7efAO1fE7uoXhLBKaubHbYV731jG F6g9QE1PLUYR5my7bn+50tE7oNaEYaFk/+i5bQc4hdrvnAusJ1/ka6LGBvjwBZGenbxj TkbNrZ0KhbgLUgcrRpDnfUfonJAvBZ5G2TOlo=

Hello,

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

Regards,
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, Roman Beslik