Get my own profile
Public access
View all3 articles
1 article
available
not available
Based on funding mandates
Co-authors
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Naoki KobayashiThe University of TokyoVerified email at is.s.u-tokyo.ac.jp
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Taro SekiyamaNational Institute of InformaticsVerified email at nii.ac.jp
Hidehiko MasuharaInstitute of Science Tokyo (née Tokyo Institute of Technology)Verified email at acm.org
Mirko ViroliFull Professor of Computer Science, Università di BolognaVerified email at unibo.it
Kohei SUENAGAKyoto UniversityVerified email at kuis.kyoto-u.ac.jp
Kensuke KojimaKyoto UniversityVerified email at kuis.kyoto-u.ac.jp
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Yukiyoshi KameyamaUniversity of TsukubaVerified email at cs.tsukuba.ac.jp
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
Takeshi TsukadaChiba UniversityVerified email at math.s.chiba-u.ac.jp
Tomoyuki AotaniSanyo Onoda City UniversityVerified email at rs.socu.ac.jp
Shigeru ChibaThe University of TokyoVerified email at acm.org
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceVerified email at stevens.edu
Yuya TsudaGraduate School of Informatics, Kyoto UniversityVerified email at fos.kuis.kyoto-u.ac.jp
Tetsuo KaminaOita UniversityVerified email at oita-u.ac.jp
Hiroshi UnnoTohoku UniversityVerified email at acm.org
Yusuke MiyazakiKyoto UniversityVerified email at fos.kuis.kyoto-u.ac.jp
Tim FelgentreffHasso Plattner InstitutVerified email at hpi.uni-potsdam.de
Follow
Atsushi Igarashi
Professor, Graduate School of Informatics, Kyoto University
Verified email at kuis.kyoto-u.ac.jp - Homepage