[ U. Nagoya ] ......................

Jacques Garrigue

adresses : garrigue at math.nagoya-u.ac.jp

Curriculum Vitae

Maintenant au Département de Mathématiques de l'Université de Nagoya.
Jusqu'à septembre 2004, au R.I.M.S. de l'Université de Kyoto.
Ex-membre du Yonezawa Lab à l'Université de Tokyo, comme thèsard.
Ancien élève de l'École Normale Supérieure (Paris).

Recherche

Mon domaine de recherche inclut partiellement le lambda-calcul et la théorie des types. Particulièrement j'ai travaillé sur les sujets suivants.

Lambda-calcul à sélection par labels
Calcul des transformations
Travail sur Objective Caml, paticulièrement
- Typage et compilation des arguments étiquetés et optionnels
- Typage des variants polymorphes, ses applications, et sa preuve formelle
- Annotations de variance explicites et la restriction relachée aux valeurs
- Méthodes polymorphes, aka semi-explicit higher order (impredicative) polymorphism
- Types de rangées privés pour objets et variants
- Ajout des GADTs (avec Jacques Le Normand)
Travail sur les modules récursifs avec Keiko Nakata et d'autres

Publications

Activités académiques

Je suis dans le comité de programme des conférences suivantes:

Conférences récentes:

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, Mai 9-11 2018
SCSS 2017, Gammarth, Tunisie, Avr. 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
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-SRC 2012: ICFP Student Research Competition, Copenhagen, Sep. 2012
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: Journées 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.

Autres

Parfois je suis assez fainéant pour me laisser aller à programmer. Voici le résultat de ma débauche.

MiniMAL est un petit langage typé à la ML, déstiné originellement à l'éducation en algorithmique. Il peut aussi servir de base pour expérimenter, son implantation en Objective Caml étant légère et facile à étendre.
LablGTK et LablGL, des interfaces OCaml à typage fort pour GTK+ et OpenGL.
FIML, un langage de programmation fonctionnelle à typage fort pouvant simuler l'impérativité.
JMMM, avec Jun Furuse. La version japonaise de MMM, un client WWW écrit en Caml Special Light par François Rouaix.
Objective Label. Une extension d'Objective Caml au parametres et etiquettes et optionnels, ainsi qu'aux variantes polymorphes. Cette fonctionnalité, ainsi que LablTk et OCamlBrowser, sont à présent intégrés dans Objective Caml.

Écrivez-moi!

JG 2021.6.25