List archive

• 11/04/08
  • RE: [Coq-Club] Guard Condition, Georges Gonthier
  • Re: [Coq-Club] Guard Condition, Gert Smolka
  • RE: [Coq-Club] Guard Condition, Georges Gonthier
• 11/04/09
  • [Coq-Club] LFMTP 2011, Call for Papers, Gopalan Nadathur
  • [Coq-Club] Workshop on Mathematical Wikis at ITP 2011 (Nijmegen, NL, August 27; abstract submission May 30), Josef Urban
• 11/04/10
  • [Coq-Club] CPP 2011: Call for Papers, Yih-Kuen Tsay
  • [Coq-Club] CFP -- Haskell Symposium 2011, Haskell Symposium
• 11/04/11
  • [Coq-Club] Workshop on Automated Theory Engineering (2nd CfP), Peter Höfner
  • [Coq-Club] Call for papers DTP'11, Wouter Swierstra
  • [Coq-Club] Class Instances on the same type, Pierre Casteran
  • Re: [Coq-Club] Class Instances on the same type, Matthieu Sozeau
  • Re: [Coq-Club] Class Instances on the same type, Daniel Schepler
  • Re: [Coq-Club] Class Instances on the same type, Pierre Casteran
  • [Coq-Club] Haskell Extraction, Trevor Elliott
• 11/04/12
  • Re: [Coq-Club] Haskell Extraction, Wouter Swierstra
  • Re: [Coq-Club] Haskell Extraction, Trevor Elliott
  • Re: [Coq-Club] Haskell Extraction, Pierre Letouzey
  • Re: [Coq-Club] Haskell Extraction, Pierre Letouzey
  • Re: [Coq-Club] Haskell Extraction, Trevor Elliott
  • Re: [Coq-Club] Haskell Extraction, Trevor Elliott
  • Re: [Coq-Club] Haskell Extraction, Pierre Letouzey
  • Re: [Coq-Club] Haskell Extraction, Trevor Elliott
  • RE: [Coq-Club] Guard Condition, Christian Doczkal
• 11/04/14
  • Re: [Coq-Club] Guard Condition, Frederic Blanqui
  • [Coq-Club] Pushing constants out of functions at extraction time, Alexandre Pilkiewicz
  • [Coq-Club] Ltac and constructors, Jesper Bengtson
  • [Coq-Club] Re: Pushing constants out of functions at extraction time, Alexandre Pilkiewicz
  • [Coq-Club] Impredicative [ Set ], Vladimir Voevodsky
  • Re: [Coq-Club] Impredicative [ Set ], Gregory Malecha
  • Re: [Coq-Club] Impredicative [ Set ], Marko Malikoviæ

Archive powered by MhonArc 2.6.16.