Search results
May 25, 2022 · I am a Professor at Dept. of Communication and Computer Engineering, Graduate School of Informatics, Kyoto University. I received my B.S., M.S., and D.S. (equivalent to PhD in the Japanese system) degrees from Department of Information Science, University of Tokyo in 1995, 1997, and 2000, respectively.
Atsushi IGARASHI, Professor (Full) | Cited by 2,948 | of Kyoto University, Kyoto (Kyodai) | Read 115 publications | Contact Atsushi IGARASHI
Articles 1–20. Professor, Graduate School of Informatics, Kyoto University - Cited by 4,012 - Theoretical Computer Science - Programming Languages - Type Theory.
Atsushi Igarashi is a Professor at Dept. of Communication and Computer Engineering, Graduate School of Informatics, Kyoto University. He received his PhD degree from the University of Tokyo in 2000.
Atsushi Igarashi is a Professor at Dept. of Communication and Computer Engineering, Graduate School of Informatics, Kyoto University. He received his PhD degree from the University of Tokyo in 2000. His research interest is in principles of programming languages, in particular, type systems and program verification.
May 25, 2022 · Atsushi Igarashi's Paper List. Papers and Talks. 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.
Atsushi Igarashi, Andrzej S. Murawski, Nikos Tzevelekos: Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13). NII Shonan Meet. Rep. 2015 ( 2015 )
