List archive

• [Coq-Club]Post-doctoral position on verification for domain-specific languages, Stephan Merz
• [Coq-Club]8.1 beta for Windows, Jevgenijs Sallinens
• [Coq-Club]CAV 2007: Call for Papers, CAV 2007 Announcements
• [Coq-Club]Forward-reasoning analogue of 'auto'?, Adam Chlipala
• [Coq-Club]JFLA 2007 : appel aux communications : extension jusqu'au 18/10/2006, Pierre Casteran
• [Coq-Club]program extraction in Java?, Adam Megacz
  • Re: [Coq-Club]program extraction in Java?, Benjamin Gregoire
  • Re: [Coq-Club]program extraction in Java?, Xavier Leroy
    • Re: [Coq-Club]program extraction in Java?, Pierre Letouzey
      • Re: [Coq-Club]program extraction in Java?, Thery Laurent
      • Re: [Coq-Club]program extraction in Java?, Virgile Prevosto
• [Coq-Club]Add Coq to your Visual Studio projects!, Samuel Howse
• [Coq-Club]; Notations, roconnor
  • Re: [Coq-Club]; Notations, Hugo Herbelin
    • Re: [Coq-Club]; Notations, roconnor
• [Coq-Club]eta-reduction in the convertibility rule of Coq, Stefan Monnier
  • Re: [Coq-Club]eta-reduction in the convertibility rule of Coq, Benjamin Werner
• [Coq-Club]Tactics inside functors, George Necula
  • Re: [Coq-Club]Tactics inside functors, Hugo Herbelin
    • RE: [Coq-Club]Tactics inside functors, George Necula
• [Coq-Club]post-doctoral position in formal certification, Sandrine Blazy
• [Coq-Club]logic programming, Sean McLaughlin
  • Re: [Coq-Club]logic programming, Gérard Huet
  • Re: [Coq-Club]logic programming, Nathan Whitehead
  • <Possible follow-ups>
  • Re: [Coq-Club]logic programming, Thery Laurent
• [Coq-Club]University of Oxford: Lectureships in Software Engineering, Jeremy . Gibbons
• [Coq-Club]CFP: CHIT/CHAT Workshop, Pierre Corbineau

Archive powered by MhonArc 2.6.16.