I am no longer here. Please follow the above link. The old information
here is just in case of connection problems.
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
Sometimes I am lazy enough to program. Here is the result of my
Here is a bunch of links that I keep here
for personal use.
- FIML, a strongly typed functional
and imperative meta-language. Version 0.41, for caml-light v0.7
Send me a letter.
YL Home Page