List archive

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

Archive powered by MHonArc 2.6.18.