List archive

• [Coq-Club] CALL FOR PAPERS: THedu'11, Julien Narboux
• [Coq-Club] CICM 2011: 2nd Call for Papers, Systems & Projects Track, Josef Urban
• [Coq-Club] OASIS for Coq?, Bas Spitters
  • Re: [Coq-Club] OASIS for Coq?, Andrej Bauer
    • Re: [Coq-Club] OASIS for Coq?, Andrej Bauer
• [Coq-Club] UIP + code extraction ?, Vilius Naudziunas
• Re: [Coq-Club] equality on FMaps, Aaron Bohannon
  • Re: [Coq-Club] equality on FMaps, Matthieu Sozeau
• [Coq-Club] Postdoc de 6 mois à Orsay, Sylvie Boldo
• [Coq-Club] add Z nat, Tie Cheng
  • [Coq-Club] Re: add Z nat, Tie Cheng
    • Re: [Coq-Club] Re: add Z nat, Adam Koprowski
      • Re: [Coq-Club] Re: add Z nat, Tie Cheng
• [Coq-Club] equality of dependent pairs, ruy . leywild
  • Re: [Coq-Club] equality of dependent pairs, AUGER Cedric
  • <Possible follow-ups>
  • Re: [Coq-Club] equality of dependent pairs, Paolo Herms
• [Coq-Club] Call for submissions "Types for Proofs and Programs", henk
• Re: [Coq-Club] Matching under binders, Adam Chlipala
• [Coq-Club] Overriding default scoping, Daniel Schepler
  • Re: [Coq-Club] Overriding default scoping, Adam Chlipala
• [Coq-Club] Jobs combining type theory and web programming, Adam Chlipala
• [Coq-Club] CFP: ADG 2010 post-proceedings, Nicolas Magaud
• [Coq-Club] ACM SIGPLAN Continuation Workshop 2011, Chung-chieh Shan
• [Coq-Club] ICFP 2011: Second Call for Papers, Wouter Swierstra
• [Coq-Club] CFP: The Coq Workshop 2011, Bas Spitters
• [Coq-Club] rewrite ... at ..., Aaron Bohannon
  • Re: [Coq-Club] rewrite ... at ..., Brandon Moore
    • Re: [Coq-Club] rewrite ... at ..., Aaron Bohannon
      • Re: [Coq-Club] rewrite ... at ..., Alexandre Pilkiewicz
      • Re: [Coq-Club] rewrite ... at ..., Damien Pous

Archive powered by MhonArc 2.6.16.