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

Jacques Garrigue

Now at the Kyoto University Research Institute for Mathematical Sciences.
Ex-member of the Yonezawa Lab in the University of Tokyo as a PhD candidate.
On leave from École Normale Supérieure (Paris), in France.

My research domain includes partially lambda-calculus and type theory. I have been working on the following subjects.

Label-selective lambda-calculus and Transformation calculus
Work on Objective Caml, including
- Typing and compilation of labeled and optional arguments
- Typing of polymorphic variants

I am currently on the following conference PC.

Sometimes I am lazy enough to program. Here is the result of my production.

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.
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.
LablGTK and LablGL, strongly typed OCaml interfaces for GTK+ and OpenGL.
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.

JG 2001.05.17