coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2011/06
151 mails
Pages navigation :
chronological Thread << < page # 1/6 > >>
- [Coq-Club] CFP: DBPL '11, Nate Foster
- [Coq-Club] Last Mile: ICSNC 2011 || October 23-28, 2011 - Barcelona, Spain, ICSNC 2011
- [Coq-Club] TYPES 2011 in Bergen 8 - 11 Sept: Deadline for abstracts 19 June, Marcus Aloysius Bezem
- [Coq-Club] Confusing error rewriting by impl with result in propositional with parameter, brandon_m_moore
- [Coq-Club] "Transparent" module types, ala O'Caml?, frank maltman
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?,
Mathieu Boespflug
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?, frank maltman
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?,
AUGER Cedric
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?, Damien Pous
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?, frank maltman
- Re: [Coq-Club] "Transparent" module types, ala O'Caml?,
Mathieu Boespflug
- [Coq-Club] VSTTE 2012 : First Call for Papers, Gudmund Grov
- [Coq-Club] PhD position on "Certified Compilation for High Level Parallel Programming", Frédéric Dabrowski
- [Coq-Club] Trouble declaring a ring (or, how to tell ring b && b = b), brandon_m_moore
- [Coq-Club] Contradicting Zneg p >= 2, frank maltman
- Re: [Coq-Club] Contradicting Zneg p >= 2,
Evgeny Makarov
- Re: [Coq-Club] Contradicting Zneg p >= 2, frank maltman
- Re: [Coq-Club] Contradicting Zneg p >= 2,
Evgeny Makarov
- [Coq-Club] Notation with "Type", Guillaume Brunerie
- Re: [Coq-Club] Notation with "Type",
AUGER Cedric
- Re: [Coq-Club] Notation with "Type", Guillaume Brunerie
- Re: [Coq-Club] Notation with "Type",
Mehdi Dogguy
- Re: [Coq-Club] Notation with "Type",
Guillaume Brunerie
- Re: [Coq-Club] Notation with "Type", Hugo Herbelin
- Re: [Coq-Club] Notation with "Type",
Guillaume Brunerie
- Re: [Coq-Club] Notation with "Type",
AUGER Cedric
- [Coq-Club] 1 < two_power_pos p, frank maltman
- [Coq-Club] Re: 1 < two_power_pos p, frank maltman
- [Coq-Club] Second CFP: Continuation Workshop 2011, Chung-chieh Shan
- [Coq-Club] Deadline June 17: ACM SIGPLAN Workshop on ML, Chung-chieh Shan
- [Coq-Club] Problem using Lemma as a coercion, Georgi Guninski
- Re: [Coq-Club] Problem using Lemma as a coercion, Adam Chlipala
Archive powered by MhonArc 2.6.16.