Atsushi Igarashi

Citée par

	Toutes	Depuis 2019
Citations	4102	947
indice h	29	15
indice i10	55	21

260

130

195

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 27 42 91 94 154 184 197 215 216 241 213 203 179 171 164 174 176 142 175 223 147 158 138 138 142

Accès public

Tout afficher

2 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Naoki KobayashiThe University of TokyoAdresse e-mail validée de is.s.u-tokyo.ac.jp
Philip WadlerUniversity of Edinburgh and IOHK/IOGAdresse e-mail validée de inf.ed.ac.uk
Taro SekiyamaNational Institute of InformaticsAdresse e-mail validée de nii.ac.jp
Hidehiko MasuharaTokyo Institute of TechnologyAdresse e-mail validée de acm.org
Mirko ViroliFull Professor of Computer Science, Università di BolognaAdresse e-mail validée de unibo.it
Kohei SUENAGAKyoto UniversityAdresse e-mail validée de kuis.kyoto-u.ac.jp
Kensuke KojimaKyoto UniversityAdresse e-mail validée de kuis.kyoto-u.ac.jp
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaAdresse e-mail validée de di.fc.ul.pt
Yukiyoshi KameyamaUniversity of TsukubaAdresse e-mail validée de cs.tsukuba.ac.jp
Peter ThiemannProfessor of Computer Science, University of FreiburgAdresse e-mail validée de informatik.uni-Freiburg.de
Takeshi TsukadaChiba UniversityAdresse e-mail validée de math.s.chiba-u.ac.jp
Tomoyuki AotaniSanyo Onoda City UniversityAdresse e-mail validée de rs.socu.ac.jp
Shigeru ChibaThe University of TokyoAdresse e-mail validée de acm.org
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceAdresse e-mail validée de stevens.edu
Yuya TsudaGraduate School of Informatics, Kyoto UniversityAdresse e-mail validée de fos.kuis.kyoto-u.ac.jp
Tetsuo KaminaOita UniversityAdresse e-mail validée de oita-u.ac.jp
Hiroshi UnnoTohoku UniversityAdresse e-mail validée de acm.org
Yusuke MiyazakiKyoto UniversityAdresse e-mail validée de fos.kuis.kyoto-u.ac.jp
Tim FelgentreffHasso Plattner InstitutAdresse e-mail validée de hpi.uni-potsdam.de

Suivre

Atsushi Igarashi

Professor, Graduate School of Informatics, Kyoto University

Adresse e-mail validée de kuis.kyoto-u.ac.jp - Page d'accueil

Theoretical Computer Science Programming Languages Type Theory


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	1247	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	167	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	96	2005
On variance-based subtyping for parametric types A Igarashi, M Viroli ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002	88	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
Lightweight family polymorphism A Igarashi, C Saito, M Viroli Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005	41	2005
On inner classes A Igarashi, BC Pierce European Conference on Object-Oriented Programming, 129-153, 2000	41	2000
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs