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 [ KURIMS | WWWFun ] ......................

Jacques Garrigue

adresses : garrigue@kurims.kyoto-u.ac.jp : finger

Curriculum Vitae

À présent au R.I.M.S. de l'Université de Kyoto.
Ex-membre du Yonezawa Lab à l'Université de Tokyo, comme thèsard.
É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 je travaille sur les deux calculs 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 m'occupe de l'intendance de la conférence suivante:

FLOPS 2004: International Symposium on Functional and Logic Programming, Nara, April 7-9, 2004.

Publications

Autres

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

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.
LablGTK et LablGL, des interfaces OCaml à typage fort pour GTK+ et OpenGL.

Écrivez-moi!

JG 2001.05.17