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, Graduate School of Informatics, Kyoto University. Verified email at kuis.kyoto-u.ac.jp - Homepage. Theoretical Computer Science Programming Languages Type Theory.
Atsushi IGARASHI, Professor (Full) | Cited by 2,948 | of Kyoto University, Kyoto (Kyodai) | Read 115 publications | Contact Atsushi IGARASHI
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.
Hiroaki Inoue, Atsushi Igarashi: A library-based approach to context-dependent computation with reactive values: suppressing reactions of context-dependent functions using dynamic binding. MODULARITY (Companion) 2016 : 50-54
