[ Nagoya U. | WWWFun ] ......................

Jacques Garrigue

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

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

I am currently involved in the following conferences.

Past events:

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

OCaml experiments: some tiny bits of code that might be useful or not. This is not to confuse with more serious ocaml programming which you can find at the software page.
LablGTK and LablGL, strongly typed OCaml interfaces for GTK+ and OpenGL.
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.
MiniMAL is a small language with ML-like typing, intended originally to teaching algorithms. It may also serve as an experimentation basis, as its Objective Caml implementation is very light, and can be easily extended.
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.
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 2013.04.16