Jacques Garrigue

Link to my New Page

I am no longer here. Please follow the above link. The old information here is just in case of connection problems.

garrigue@kurims.kyoto-u.ac.jp

Now at Kyoto University. Ex-member of the Yonezawa Lab as a PhD candidate, on leave from École Normale Supérieure (Paris), in France.

My research domain includes partially lambda-calculus and type theory. Particularly I am working on the following two calculi.

They are described in detail in my doctor thesis.

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

FIML, a strongly typed functional and imperative meta-language. Version 0.41, for caml-light v0.7

Here is a bunch of links that I keep here for personal use.

JG 95.2.10