Atsushi Igarashi

Cited by

	All	Since 2018
Citations	3849	884
h-index	28	13
i10-index	49	21

240

120

180

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202315 27 45 83 87 157 185 198 213 220 239 212 196 179 172 156 180 181 146 175 221 147 154 143 44

Public access

View all

2 articles

0 articles

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 IOHKVerified email at inf.ed.ac.uk
Taro SekiyamaNational Institute of InformaticsVerified email at nii.ac.jp
Mirko ViroliProfessor of Computer Science, Università di BolognaVerified email at unibo.it
Hidehiko MasuharaTokyo Institute of TechnologyVerified email at acm.org
Kohei SUENAGAKyoto UniversityVerified email at kuis.kyoto-u.ac.jp
Kensuke KojimaKyoto UniversityVerified email at kuis.kyoto-u.ac.jp
Tomoyuki AotaniTokyo TechVerified email at is.titech.ac.jp
Yukiyoshi KameyamaUniversity of TsukubaVerified email at cs.tsukuba.ac.jp
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Takeshi TsukadaChiba UniversityVerified email at math.s.chiba-u.ac.jp
Shigeru ChibaThe University of TokyoVerified email at acm.org
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceVerified email at stevens.edu
Tetsuo KaminaOita UniversityVerified email at oita-u.ac.jp
Yuya TsudaGraduate School of Informatics, Kyoto UniversityVerified email at fos.kuis.kyoto-u.ac.jp
Hiroshi UnnoUniversity of TsukubaVerified email at cs.tsukuba.ac.jp
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	1187	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	500	1999
A generic type system for the pi-calculus A Igarashi, N Kobayashi Theoretical Computer Science 311 (1-3), 121-163, 2004	178	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	157	2001
Resource usage analysis A Igarashi, N Kobayashi Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	146	2002
Resource usage analysis A Igarashi, N Kobayashi ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (2), 264-313, 2005	98	2005
Union types for object-oriented programming A Igarashi, H Nagira Proceedings of the 2006 ACM symposium on Applied computing, 1435-1441, 2006	95	2006
On variance-based subtyping for parametric types A Igarashi, M Viroli ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002	83	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	78	2006
Gradual typing for generics L Ina, A Igarashi Proceedings of the 2011 ACM international conference on Object oriented …, 2011	66	2011
Foundations for virtual types A Igarashi, BC Pierce, P Wadler ECOOP 99, 161-185, 1999	66	1999
On polymorphic gradual typing Y Igarashi, T Sekiyama, A Igarashi Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017	58	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	55	2011
Type reconstruction for linear π-calculus with I/O subtyping A Igarashi, N Kobayashi Information and Computation 161 (1), 1-44, 2000	50	2000
On inner classes A Igarashi, BC Pierce Information and Computation 177 (1), 56-89, 2002	48	2002
Gradual session types A Igarashi, P Thiemann, VT Vasconcelos, P Wadler Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017	46	2017
On inner classes A Igarashi, BC Pierce ECOOP 2000—Object-Oriented Programming: 14th European Conference Sophia …, 2000	41	2000
Lightweight family polymorphism A Igarashi, C Saito, M Viroli Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005	40	2005
Type-based analysis of communication for concurrent programming languages A Igarashi, N Kobayashi Static Analysis: 4th International Symposium, SAS'97 Paris, France …, 1997	37	1997
Polymorphic contracts JF Belo, M Greenberg, A Igarashi, BC Pierce Programming Languages and Systems: 20th European Symposium on Programming …, 2011	36	2011

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