Atsushi Igarashi

Cited by

	All	Since 2019
Citations	4071	928
h-index	29	15
i10-index	55	21

260

130

195

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 27 42 91 94 154 185 196 215 216 241 213 203 178 171 164 174 173 142 171 224 147 158 137 140 121

Public access

View all

2 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
Yusuke MiyazakiKyoto UniversityVerified email at fos.kuis.kyoto-u.ac.jp
Tim FelgentreffHasso Plattner InstitutVerified email at hpi.uni-potsdam.de

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


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Featherweight Java: a minimal core calculus for Java and GJ A Igarashi, BC Pierce, P Wadler ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (3), 396-450, 2001	1236	2001
Featherweight Java: A minimal core calculus for Java and GJ A Igarashi, B Pierce, P Wadler ACM SIGPLAN Notices 34 (10), 132-146, 1999	499	1999
A generic type system for the pi-calculus A Igarashi, N Kobayashi Theoretical Computer Science 311 (1-3), 121-163, 2004	182	2004
A generic type system for the pi-calculus A Igarashi, N Kobayashi Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001	166	2001
Resource usage analysis A Igarashi, N Kobayashi Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	151	2002
Union types for object-oriented programming A Igarashi, H Nagira Proceedings of the 2006 ACM symposium on Applied computing, 1435-1441, 2006	97	2006
Resource usage analysis A Igarashi, N Kobayashi ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (2), 264-313, 2005	95	2005
On variance-based subtyping for parametric types A Igarashi, M Viroli ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002	86	2002
Variant parametric types: A flexible subtyping scheme for generics A Igarashi, M Viroli ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (5), 795-847, 2006	77	2006
Gradual typing for generics L Ina, A Igarashi Proceedings of the 2011 ACM international conference on Object oriented …, 2011	69	2011
Foundations for virtual types A Igarashi, BC Pierce ECOOP’99—Object-Oriented Programming: 13th European Conference Lisbon …, 1999	65	1999
On polymorphic gradual typing Y Igarashi, T Sekiyama, A Igarashi Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017	64	2017
ContextFJ: a minimal core calculus for context-oriented programming R Hirschfeld, A Igarashi, H Masuhara Proceedings of the 10th international workshop on Foundations of aspect …, 2011	57	2011
Type reconstruction for linear π-calculus with I/O subtyping A Igarashi, N Kobayashi Information and Computation 161 (1), 1-44, 2000	53	2000
Gradual session types A Igarashi, P Thiemann, VT Vasconcelos, P Wadler Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017	50	2017
On inner classes A Igarashi, BC Pierce Information and Computation 177 (1), 56-89, 2002	47	2002
On inner classes A Igarashi, BC Pierce European Conference on Object-Oriented Programming, 129-153, 2000	41	2000
Lightweight family polymorphism A Igarashi, C Saito, M Viroli Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005	40	2005
Polymorphic contracts JF Belo, M Greenberg, A Igarashi, BC Pierce Programming Languages and Systems: 20th European Symposium on Programming …, 2011	38	2011
Lightweight family polymorphism C Saito, A Igarashi, M Viroli Journal of Functional Programming 18 (3), 285-331, 2008	38	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors