![]() |
I am a researcher in computer science. I am interested in integration of functional and imperative paradigm, extension of type inference to object-oriented features, and concurrent languages.
Department of Reliablity-based Information Systems Engineering
Faculty of Engineering
Kagawa University
2217-20 Hayashi-cho Takamatsu, Kagawa, 761-0396 JAPAN
TEL: +81-87-864-2212 FAX: +81-87-864-2262