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

Jacques Garrigue

addresses : garrigue@math.nagoya-u.ac.jp

History

Now at the Graduate School of Mathematics, Nagoya University.
I was until recently at the Kyoto University Research Institute for Mathematical Sciences, where this page still resides.
Ex-member of the Yonezawa Lab in the University of Tokyo as a PhD candidate.
Ancien élève of École Normale Supérieure (Paris).

Research

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

Academic activity

I am currently on the program commitee of the following conference.

FOOL 12: The Twelth International Workshop on Foundations of Object-Oriented Languages

Publications

Others

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.

Send me a letter.

JG 2004.10.04