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
2012/05
121 mails
Chronological Thread << < page # 1/5 > >>
- 12/04/30
- 12/05/01
- Re: [Coq-Club] Types dependant on universes, Michael Shulman
- [Coq-Club] Recursive identify function, Terrell, Jeffrey
- Re: [Coq-Club] Recursive identify function, Gregory Malecha
- 12/05/02
- Re: [Coq-Club] Recursive identify function, Terrell, Jeffrey
- Re: [Coq-Club] multi-core compilation of the Coq system with make -j ?, Pierre Letouzey
- Re: [Coq-Club] Recursive identify function, Pierre Courtieu
- Re: [Coq-Club] Recursive identify function, Pierre Courtieu
- [Coq-Club] Postdoc opportunities in functional programming & formal verification, Adam Chlipala
- 12/05/04
- [Coq-Club] Question on Dependent pattern matching, Balazs Vegvari
- Re: [Coq-Club] Question on Dependent pattern matching, Paolo Herms
- [Coq-Club] Unfolding a Program Fixpoint, Hugo Carvalho
- Re: [Coq-Club] Question on Dependent pattern matching, Balazs Vegvari
- Re: [Coq-Club] Question on Dependent pattern matching, Adam Chlipala
- Re: [Coq-Club] Question on Dependent pattern matching, Balazs Vegvari
- 12/05/05
- [Coq-Club] Simple demonstration that the type hierarchy is needed for consistency?, Daniel Schepler
- Re: [Coq-Club] Simple demonstration that the type hierarchy is needed for consistency?, Randy Pollack
- Re: [Coq-Club] Simple demonstration that the type hierarchy is needed for consistency?, Daniel Schepler
- Re: [Coq-Club] Simple demonstration that the type hierarchy is needed for consistency?, James McKinna
- Re: [Coq-Club] Simple demonstration that the type hierarchy is needed for consistency?, Robbert Krebbers
- Re: [Coq-Club] Simple demonstration that the type hierarchy is needed for consistency?, Daniel Schepler
- Re: [Coq-Club] Simple demonstration that the type hierarchy is needed for consistency?, Daniel Schepler
- 12/05/06
- [Coq-Club] CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations, S B Cooper
- [Coq-Club] SSLST 2012: 2nd announcement, GRLMC
- [Coq-Club] 2nd CFP: ML workshop 2012 (invited talk by Pierre Letouzey), Keiko Nakata
- [Coq-Club] Call for participation and registration 4WFTop and HDACT, Ljubljana, June 15th-20th 2012, Andrej Bauer
- 12/05/07
- Re: [Coq-Club] strict unit type, Andrej Bauer
- Re: [Coq-Club] Simple demonstration that the type hierarchy is needed for consistency?, Herman Geuvers
- Re: [Coq-Club] Simple demonstration that the type hierarchy is needed for consistency?, Chad E Brown
- Re: [Coq-Club] Simple demonstration that the type hierarchy is needed for consistency?, Robert Dockins
Archive powered by MHonArc 2.6.18.