[ Nagoya U.
] ......................
![[EN]](icons/us-s.gif)
![[FR]](icons/france-s.gif)
![[JP]](icons/japan-s.gif)
Jacques Garrigue
addresses :
garrigue at
math.nagoya-u.ac.jp
History
Now at the Graduate School
of Mathematics, Nagoya University.
I was until 2004 at the Kyoto University Research Institute for
Mathematical Sciences.
Ex-member of the
Yonezawa
Lab in the University of Tokyo as a PhD candidate.
Ancien élève of
École Normale Supérieure (Paris).
Projects
- COCTI: Certifiable OCaml Type
Inference
Research
My research domain includes partially lambda-calculus and type theory.
I have been working on the following subjects.
Academic activity
I am currently involved in the following conferences.
- TPP 2024, Kyushu University, Nov. 25-26
2024 (Organizer)
- APLAS 2024,
Kyoto, Oct. 22-25 2024 (General Chair)
- ICFP 2024,
Milano, Sep. 2-7 2024
Past events:
- ML
2023
and OCaml 2023,
Seattle, WA, Sep. 8-9 2023
- FOSSACS 2021,
Luxembourg, Mar. 27-Apr. 1 2021
- Coq
Workshop 2019, Portland, Oregon, Sep. 8 2019 (Co-chair)
- POPL 2019, Lisbon,
Portugal, Jan. 16-18 2019
- PPL 2019,
Hanamaki, Japan, Mar. 6-8 2019
- FLOPS 2018, Nagoya,
May 9-11 2018
- SCSS 2017, Gammarth,
Tunisia, Apr. 6-9 2017
- ICFP 2016,
Nara, Sep. 18-24 2016 (General chair)
- IFL
2016, Leuven, Belgium, Aug. 31 - Sep. 2 2016
- CoqPL'16,
St. Petersburg, Florida, Jan. 23 2016
- NII Shonan School
on Coq, Shonan, Japan, Aug. 25-29 2014
- ACM SIGPLAN ML Family
Workshop, Gothenburg, Sep. 4
- OCaml 2014,
Gothenburg, Sep. 5 (PC chair)
- APLAS 2014, Singapore, Nov. 17-19 2014 (PC chair)
- JFLA 2014, Frejus,
Jan. 8-11
- APLAS 2013,
Melbourne, Dec. 9-11 2013
- APLAS and
CPP 2012:
Kyoto, Dec. 11-15 (General co-chair)
- WGP 2012: 8th ACM
SIGPLAN Workshop on Generic Programming, Copenhagen, Sep. 9
- OUD 2012: OCaml Users and
Developers Workshop, Copenhagen, Sep. 14
- ICFP'11:
16th International Conference on Functional Programming, Tokyo, Japan
- TPP'10: Theorem Proving and Provers, Nagoya, Nov. 25-26
- OOPS track of SAC
2011: The ACM Symposium on Applied Computing, TaiChung, Taiwan
- OOPS track of SAC
2009: The ACM Symposium on Applied Computing, Honolulu, Hawaii
- FLOPS 2008:
9th International Symposium on Functional and Logic Programming, Ise
, Japan (co-chair)
- The 2008
International Workshop on Foundations of Object-Oriented
Languages, San Francisco, California
- The 2007
ACM SIGPLAN Workshop on ML, Freiburg, Germany
- ICFP'05:
10th International Conference on Functional Programming, Talinn, Estonia
- JFLA 2005: Journees
Francophones des Langages Applicatifs
- FOOL 12: The
Twelth International Workshop on Foundations of Object-Oriented
Languages
- FLOPS
2004: International Symposium on Functional and Logic Programming,
Nara, April 7-9, 2004.
- TIP
'02: Workshop on Types in Programming, Dagstuhl, July 9, 2002
Sometimes I am lazy enough to program. Here is the result of my
production.
- OCaml experiments: some tiny bits
of code that might be useful or not. This is not to confuse with more
serious ocaml programming which you can find at the
software page.
-
LablGTK and
LablGL, strongly typed OCaml
interfaces for GTK+ and OpenGL.
-
Objective
Label. An extension of Objective
Caml with labeled and optional arguments, and polymorphic
variants. These features, together with the LablTk library and
OCamlBrowser, are now included in
Objective Caml.
- MiniMAL
is a small language with ML-like typing, intended originally to
teaching algorithms.
It may also serve as an experimentation basis, as its Objective Caml
implementation is very light, and can be easily extended.
-
FIML, a strongly typed functional and imperative meta-language.
-
JMMM,
with Jun Furuse. The Japanese version of MMM,
a functional WWW browser, written by François Rouaix.
-
pkg_export
A personal package management tool, for software compiled from source.
- FreeBSD
hacking Some hints about how to use FreeBSD on the Casio FIVA, and
how to make your hard disk quieter.
![[EM]](icons/letter.gif)
Send me a letter.
JG
2024.8.20