List archive

• [Coq-Club] functional type synonyms and structural recursion, Kirill Taran, 03/19/2014
  • Re: [Coq-Club] functional type synonyms and structural recursion, Kirill Taran, 03/19/2014
    • Re: [Coq-Club] functional type synonyms and structural recursion, Kirill Taran, 03/19/2014
• [Coq-Club] Integrated Formal Methods 2014 - Call for Papers, Emil Sekerinski, 03/19/2014
• [Coq-Club] Artificial Intelligence and Symbolic Computation AISC 2014, Geoff Sutcliffe, 03/20/2014
• [Coq-Club] "as <_ or unused variable in the return type> in … return …" pattern matching, AUGER Cédric, 03/21/2014
  • Re: [Coq-Club] "as <_ or unused variable in the return type> in ... return ..." pattern matching, Jason Gross, 03/21/2014
• [Coq-Club] Coq - kernel - interp.c arch-specific code, moe45673, 03/21/2014
  • Re: [Coq-Club] Coq - kernel - interp.c arch-specific code, Gabriel Scherer, 03/21/2014
    • Re: [Coq-Club] Coq - kernel - interp.c arch-specific code, Moshe Tenenbaum, 03/24/2014
      • Re: [Coq-Club] Coq - kernel - interp.c arch-specific code, Guillaume Melquiond, 03/24/2014
      • Re: [Coq-Club] Coq - kernel - interp.c arch-specific code, Arnaud Spiwack, 03/24/2014
  • Re: [Coq-Club] Coq - kernel - interp.c arch-specific code, Enrico Tassi, 03/21/2014
• [Coq-Club] SLSP 2014: 2nd call for papers, GRLMC, 03/22/2014
• [Coq-Club] MAP 2014 Second announcement/Deadline extension, Cyril Cohen, 03/23/2014
• [Coq-Club] Controlling typeclass instance priority, Jason Gross, 03/23/2014
• [Coq-Club] Using CPDT in a class?, Adam Chlipala, 03/23/2014
  • Re: [Coq-Club] Using CPDT in a class?, Christopher Dutchyn, 03/24/2014
• [Coq-Club] 2nd CFP (IEEE Complex Systems), M Nemiche, 03/24/2014
• [Coq-Club] Agda meeting 22-28 May in Paris, call for participation, Andreas Abel, 03/24/2014
• [Coq-Club] to those in Boston MA area, Vladimir Voevodsky, 03/24/2014
• [Coq-Club] Injection on arguments of type Prop., Emilio Jesús Gallego Arias, 03/25/2014
  • Re: [Coq-Club] Injection on arguments of type Prop., Ryan Wisnesky, 03/27/2014
    • Re: [Coq-Club] Injection on arguments of type Prop., Eddy Westbrook, 03/27/2014
      • Re: [Coq-Club] Injection on arguments of type Prop., Arthur Azevedo de Amorim, 03/27/2014
• [Coq-Club] Commercial applications of dependent type theory?, Adam Chlipala, 03/25/2014
  • Re: [Coq-Club] Commercial applications of dependent type theory?, J. Ian Johnson, 03/25/2014
    • Re: [Coq-Club] Commercial applications of dependent type theory?, Adam Chlipala, 03/26/2014
• [Coq-Club] AI4FM 2014: Call for Participation, Iain Whiteside, 03/25/2014
• [Coq-Club] Practical use and Add LoadPath, Nuno Gaspar, 03/25/2014

Archive powered by MHonArc 2.6.18.