Chieri Saito

Notice: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Introduction

I have just received my Ph.D from Department of Intelligence Science and Technology, Graduate School of Informatics, Kyoto University. I received my M.S. from Department of Intelligence Science and Technology, Graduate School of Informatics, Kyoto University in 2007. I received my B.S. from Computer Science Course, School of Informatics and Mathematical Science, Faculty of Engineering, Kyoto University in 2005.

Research Interests

Type Systems
Ownership Types
Design of Object-Oriented Programming Languages

Past Event

FOOL2010 (17th Octorber 2010; PC member)

Papers

Chieri Saito. Parametric Sibling Types: A Solution for Reusable and Polymorphic map() in Recursive Classes. Submitted for publication.
Chieri Saito and Atsushi Igarashi. Matching MyType to Subtyping. To appear in Science of Computer Programming. Special Issue on OOPS 2009.
Chieri Saito and Atsushi Igarashi. Self type constructors. In Proc. of OOPSLA 2009. (submission version of PDF)
Chieri Saito and Atsushi Igarashi. Matching ThisType to subtyping. In Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009), pages 1851–1858, Honolulu, HI, March 2009. (PDF)
Chieri Saito and Atsushi Igarashi. The essence of lightweight family polymorphism. Journal of Object Technology, 7(5):67–99, June 2008. Special Issue: Workshop on FTfJP 2007. (PDF)
Chieri Saito, Atsushi Igarashi, and Mirko Viroli. Lightweight family polymorphism. Journal of Functional Programming, 18(3):285–331, 2008. A preliminary summary appeared in Proceedings of the 3rd Asian Symposium on Programming Languages and Systems (APLAS 2005), Springer LNCS vol. 3780, pages 161–177, November, 2005. (PDF) (doi:10.1017/S0956796807006405)
Chieri Saito and Atsushi Igarashi. The essence of lightweight family polymorphism. In Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP 2007), pages 27–41, Berlin, Germany, July 2007. Available through http://cs.nju.edu.cn/boyland/ftjp/. (PDF)
Atsushi Igarashi, Chieri Saito, and Mirko Viroli. Lightweight family polymorphism. In Kwangkeun Yi, editor, Proceedings of the 3rd Asian Symposium on Programming Languages and Systems (APLAS2005), volume 3780 of Lecture Notes in Computer Science, pages 161–177, Tsukuba, Japan, November 2005. Springer-Verlag. (PDF)

Back to Member List