List archive

• Re: [Coq-Club] evar anomaly, (continued)
  • Re: [Coq-Club] evar anomaly, Tom Hirschowitz, 02/10/2017
  • Re: [Coq-Club] evar anomaly, Jonathan Leivent, 02/10/2017
• [Coq-Club] TABLEAUX/FroCoS/ITP Call for Posters, Geoff Sutcliffe, 02/10/2017
• [Coq-Club] efficiently reducing away mentions of a variable, Abhishek Anand, 02/10/2017
  • Re: [Coq-Club] efficiently reducing away mentions of a variable, Matthieu Sozeau, 02/13/2017
    • Re: [Coq-Club] efficiently reducing away mentions of a variable, Jacques-Henri Jourdan, 02/13/2017
      • Re: [Coq-Club] efficiently reducing away mentions of a variable, Enrico Tassi, 02/14/2017
  • Message not available
    • Message not available
      • Re: [Coq-Club] [coqdev] efficiently reducing away mentions of a variable, Abhishek Anand, 02/14/2017
  • Re: [Coq-Club] [coqdev] efficiently reducing away mentions of a variable, Pierre-Marie Pédrot, 02/14/2017
• [Coq-Club] Coq term parsers, Talia Ringer, 02/11/2017
  • Re: [Coq-Club] Coq term parsers, Jason Gross, 02/11/2017
    • Re: [Coq-Club] Coq term parsers, Talia Ringer, 02/11/2017
      • Re: [Coq-Club] Coq term parsers, Jason Gross, 02/11/2017
  • Re: [Coq-Club] Coq term parsers, Emilio Jesús Gallego Arias, 02/22/2017
• [Coq-Club] Computers special issue - Formal Integrated Development Environments - Deadline approaching, dubois, 02/11/2017
• [Coq-Club] ICNC-FSKD 2017 Submissions due 15 March: Submitting to IEEE Xplore/EI Compendex/ISI 2017/2/12 16:33:04 xbr38v9af, Prof Song, 02/12/2017
• [Coq-Club] Metafinite 2017 - Call for Presentations, European Association of Computer Science Logic, 02/12/2017
• [Coq-Club] DeepLearn 2017: early registration February 24, GRLMC, 02/12/2017
• [Coq-Club] TAP 2017: Final Call for Papers, Sebastian Gabmeyer, 02/13/2017
• [Coq-Club] determine the resolution of imports, Abhishek Anand, 02/14/2017
  • Re: [Coq-Club] determine the resolution of imports, Adam Chlipala, 02/14/2017
  • Re: [Coq-Club] determine the resolution of imports, Gaetan Gilbert, 02/14/2017
  • Re: [Coq-Club] determine the resolution of imports, Hugo Herbelin, 02/15/2017
• [Coq-Club] 1st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury, Peter Achten, 02/15/2017
• [Coq-Club] LOLA 2017: Call for Talk Proposals, Noam Zeilberger, 02/15/2017
• [Coq-Club] Oregon PL Summer School 2017: call for participation, Amal Ahmed, 02/15/2017
• [Coq-Club] Final Call for Papers: ICFP 2017, Lindsey Kuper, 02/16/2017
• [Coq-Club] The Racket Summer School of Semantics and Languages, Robby Findler, 02/17/2017
• [Coq-Club] setoid rewriting, partial application and relfexivity, Vadim Zaliva, 02/17/2017
  • Re: [Coq-Club] setoid rewriting, partial application and relfexivity, Vadim Zaliva, 02/17/2017

Archive powered by MHonArc 2.6.18.