coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 1993
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1994
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 1997
- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
2017/02
111 mails
Chronological Thread << < page # 3/4 > >>
- 17/02/10
- Re: [Coq-Club] Installation, Anthony Bordg
- [Coq-Club] efficiently reducing away mentions of a variable, Abhishek Anand
- Re: [Coq-Club] evar anomaly, Jonathan Leivent
- Re: [Coq-Club] evar anomaly, Tom Hirschowitz
- 17/02/11
- [Coq-Club] Coq term parsers, Talia Ringer
- Re: [Coq-Club] Coq term parsers, Jason Gross
- Re: [Coq-Club] Coq term parsers, Talia Ringer
- Re: [Coq-Club] Coq term parsers, Jason Gross
- [Coq-Club] Computers special issue - Formal Integrated Development Environments - Deadline approaching, dubois
- 17/02/12
- [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
- [Coq-Club] Metafinite 2017 - Call for Presentations, European Association of Computer Science Logic
- [Coq-Club] DeepLearn 2017: early registration February 24, GRLMC
- 17/02/13
- [Coq-Club] TAP 2017: Final Call for Papers, Sebastian Gabmeyer
- Re: [Coq-Club] efficiently reducing away mentions of a variable, Matthieu Sozeau
- Re: [Coq-Club] efficiently reducing away mentions of a variable, Jacques-Henri Jourdan
- 17/02/14
- Re: [Coq-Club] [coqdev] efficiently reducing away mentions of a variable, Abhishek Anand
- Re: [Coq-Club] efficiently reducing away mentions of a variable, Enrico Tassi
- Re: [Coq-Club] [coqdev] efficiently reducing away mentions of a variable, Pierre-Marie Pédrot
- [Coq-Club] determine the resolution of imports, Abhishek Anand
- Re: [Coq-Club] determine the resolution of imports, Adam Chlipala
- Re: [Coq-Club] determine the resolution of imports, Gaetan Gilbert
- 17/02/15
- Re: [Coq-Club] determine the resolution of imports, Hugo Herbelin
- [Coq-Club] 1st call for papers: Trends in Functional Programming, 19-21 june 2017, University of Kent, Canterbury, Peter Achten
- [Coq-Club] LOLA 2017: Call for Talk Proposals, Noam Zeilberger
- [Coq-Club] Oregon PL Summer School 2017: call for participation, Amal Ahmed
- 17/02/16
- [Coq-Club] Final Call for Papers: ICFP 2017, Lindsey Kuper
- 17/02/17
- [Coq-Club] The Racket Summer School of Semantics and Languages, Robby Findler
- [Coq-Club] setoid rewriting, partial application and relfexivity, Vadim Zaliva
- Re: [Coq-Club] setoid rewriting, partial application and relfexivity, Vadim Zaliva
- Re: [Coq-Club] setoid rewriting, partial application and relfexivity, John Wiegley
Archive powered by MHonArc 2.6.18.