Masahito Hasegawa

Last updated: Jul 8, 2013 at 12:50
 
Avatar
Name
Masahito Hasegawa
E-mail
hasseikurims.kyoto-u.ac.jp
URL
http://www.kurims.kyoto-u.ac.jp/~hassei/
Affiliation
Kyoto University
Section
Research Institute for Mathematical Sciences
Job title
Professor
Degree
Ph.D.
Research funding number
50293973

Awards & Honors

 
Apr 2001
ETAPS2001 Best Theoretical Paper Award, European Association for Theoretical Computer Science
Winner: Masahito Hasegawa, Yoshihiko Kakutani
 
Nov 1999
Distinguished Dissertations Award, British Computer Society
 

Published Papers

 
Tamas Hajgato, Masahito Hasegawa
Theory and Applications of Categories   28(7) 206-212   Apr 2013   [Refereed]
Masahito Hasegawa
Mathematical Structures in Computer Science   22(4) 618-650   Aug 2012   [Refereed]
Masahito Hasegawa
Electronic Notes in Theoretical Computer Science   265 337-350   Sep 2010   [Refereed]
Masahito Hasegawa, Shin-ya Katsumata
Mathematical Proceedings of the Cambridge Philosophical Society   148(1) 107-109   Jan 2010   [Refereed]
Keiko Nakata, Masahito Hasegawa
Journal of Functional Programming   19(6) 699-722   Nov 2009   [Refereed]

Books etc

 
Models of Sharing Graphs: A Categorical Semantics of let and letrec
Masahito Hasegawa
Springer-Verlag   Jun 1999   ISBN:1852331453