Get my own profile
Public access
View all2 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 MasuharaTokyo Institute of TechnologyVerified 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
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
Yukiyoshi KameyamaUniversity of TsukubaVerified email at cs.tsukuba.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
Tim FelgentreffHasso Plattner InstitutVerified email at hpi.uni-potsdam.de
Yusuke MiyazakiKyoto UniversityVerified email at fos.kuis.kyoto-u.ac.jp
Follow![Atsushi Igarashi](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=OupExl8AAAAJ&citpid=3)
Atsushi Igarashi
Professor, Graduate School of Informatics, Kyoto University
Verified email at kuis.kyoto-u.ac.jp - Homepage