A.Morihata

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
A.Morihata

[Japanese]

Name:

Akimasa Morihata

Paper List:

1. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
  Swapping Argument and Results of Recursive Functions.
  In Proceedings of the 8th International Conference on Mathmatics of Program Construction (MPC'06), Lecture Notes in Computer Science 4014, 379--396. Springer, 2006.
2. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
  IO swapping leads you there and back again (Extended Abstract).
  In Proceedings of the GPCE Young Researchers Workshop (GPCE-YRW'05), pp.7--13. Sep 2005.
(With no refereeing)
1. Akimasa Morihata:
  Relationship between arguments and results of recursive functions. Master's thesis, The University of Tokyo, January 2006.
2. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
  Reversing iterations: IO swapping leads you there and back again.
  Technical Report METR 2005-11, Department of Mathematical Informatics, University of Tokyo, May 2005.

Interest:

Declarative frameworks of programming languages
Program Transformations
Purely Functional Data Structures

mail : morihata`at`ipl.t.u-tokyo.ac.jp