Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Jacques Garrigue : Ma Page [ U. Nagoya | WWWFun | WWWFun ] ......................

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), en France.

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

Activités académiques

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

Publications

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 2007.09.03