[ KURIMS | WWWFun ] ......................

Jacques Garrigue

À 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.

Mon domaine de recherche inclut partiellement le lambda-calcul et la théorie des types. Particulièrement je travaille sur les deux calculs suivants.

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.

JG 2001.05.17