[PRL] Hello and thanks
Kenichi Asai
asai at ccs.neu.edu
Fri Apr 15 01:23:12 EDT 2005
Dear PRL folks,
It was really nice for me to be in the PL group in Northeastern. I
enjoyed the stay very much, I could see the top researches going on,
and I could see various interesting courses, too. Thank you all for
supports and interesting discussions.
I am now back in Japan and returned to my old life. I miss Boston
and PRL people very much, but I think I can visit Boston in the
future, and I hope to see you somewhere in the world.
Thanks again.
--
Kenichi
http://pllab.is.ocha.ac.jp/~asai/
PS. I recently wrote a paper "Logical Relations for Call-by-value
lambda-calculus with Shift and Reset," which summarizes what I was
doing for the last several months. It is available at:
http://pllab.is.ocha.ac.jp/~asai/papers/draft05.ps.gz
Any comments are welcome!
More information about the PRL
mailing list