coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Roman Beslik <beroal AT ukr.net>
- To: Coq-Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Hindley-Milner type inference algorithm
- Date: Wed, 19 May 2010 10:01:39 +0300
- Disposition-notification-to: Roman Beslik <beroal AT ukr.net>
Hi all. Is there a formalization of the subject in Coq?
--
Best regards,
Roman Beslik.
- [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.