Jacques Garrigue
发表
Didier Rémy,
Jacques Garrigue,
2013,
APLAS.
Jacques Garrigue,
Keiko Nakata,
2006,
ICFP '06.
Jacques Garrigue,
Reynald Affeldt,
David Nowak,
2020,
Journal of Functional Programming.
Akira Tanaka,
Jacques Garrigue,
Reynald Affeldt,
2018,
J. Inf. Process..
Damien Doligez,
Xavier Leroy,
Jeremy Yallop,
2015
.
Jacques Garrigue,
Hassan Aït-Kaci,
Jacques Garrigue,
1995,
Theor. Comput. Sci..
Jacques Garrigue,
Masahiro Sato,
Jacques Garrigue,
2020,
Mathematical Structures in Computer Science.
Jacques Garrigue,
Hassan Aït-Kaci,
Jacques Garrigue,
1995,
Theor. Comput. Sci..
Jacques Garrigue,
Reynald Affeldt,
Xuanrui Qi,
2019,
ITP.
Jacques Garrigue,
Hassan Aït-Kaci,
Jacques Garrigue,
1994,
POPL '94.
Damien Doligez,
Didier Rémy,
Xavier Leroy,
2013
.
Jacques Garrigue,
Keigo Imai,
2019,
J. Inf. Process..
Manuel V. Hermenegildo,
Jacques Garrigue,
2008
.
Jacques Garrigue,
Jacques Le Normand,
2015,
ML Family/OCaml.
Jacques Garrigue,
Jacques Garrigue,
2004
.
Jacques Garrigue,
Reynald Affeldt,
萩原 学,
2015
.
Jacques Garrigue,
2001,
APLAS.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
CICM.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2018,
2018 International Symposium on Information Theory and Its Applications (ISITA).
Jacques Garrigue,
2015,
Math. Struct. Comput. Sci..
Jacques Garrigue,
2002,
APLAS.
Jacques Garrigue,
2010,
APLAS.
Didier Rémy,
Jacques Garrigue,
Jacques Garrigue,
1999,
Inf. Comput..
Jacques Garrigue,
Jacques Garrigue,
2010
.
Jacques Garrigue,
Keiko Nakata,
2011,
High. Order Symb. Comput..
Jacques Garrigue,
Oleg Kiselyov,
2017,
ML Family/OCaml.
Jacques Garrigue,
Masahiro Sato,
2016,
J. Inf. Process..
Damien Doligez,
Xavier Leroy,
Jacques Garrigue,
2007
.
Reiji Nakajima,
Jacques Garrigue,
Masahiro Watanabe,
2005,
The 2005 Symposium on Applications and the Internet.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2016,
2016 International Symposium on Information Theory and Its Applications (ISITA).
Damien Doligez,
Xavier Leroy,
Jacques Garrigue,
2008
.
Damien Doligez,
Xavier Leroy,
Jacques Garrigue,
2003
.
Jacques Garrigue,
Jacques Garrigue,
1995,
FSTTCS.
Jacques Garrigue,
2006,
APLAS.
Jacques Garrigue,
2014,
Lecture Notes in Computer Science.
Jacques Garrigue,
1993
.
Jacques Garrigue,
Yasuhiko Minamide,
1998,
ICFP '98.
Manuel V. Hermenegildo,
Jacques Garrigue,
2008,
FLOPS.
Jacques Garrigue,
Reynald Affeldt,
2015,
ITP.
Jacques Garrigue,
2005
.
Didier Rémy,
Jacques Garrigue,
1997,
TACS.
Jacques Garrigue,
Hassan Aït-Kaci,
Jacques Garrigue,
1994
.
Akira Tanaka,
Jacques Garrigue,
Reynald Affeldt,
2016,
ICFEM.
Pierre Chambart,
Damien Doligez,
Yann Régis-Gianas,
2015
.
Jacques Garrigue,
Jacques Garrigue,
1995
.
Gabriele Keller,
Jacques Garrigue,
Eijiro Sumii,
2016,
ICFP.
Pierre Castéran,
Jacques Garrigue,
David Nowak,
2014,
NII Shonan Meet. Rep..
Didier Rémy,
Jacques Garrigue,
2012
.
Hyeonseung Im,
Sungwoo Park,
Jacques Garrigue,
2011,
OOPSLA '11.
Damien Doligez,
Xavier Leroy,
Jacques Garrigue,
2002
.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
Journal of Automated Reasoning.
Jacques Garrigue,
Jacques Garrigue,
2000
.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
CICM.
Jacques Garrigue,
Jacques Garrigue,
Hassan Ait Kaci,
1993
.
Jacques Garrigue,
Keiko Nakata,
2006
.
Akira Ito,
Jacques Garrigue,
Keiko Nakata,
2005
.
Jacques Garrigue,
2004
.