Atsushi Igarashi

Cytowane przez

	Wszystkie	Od 2020
Cytowania	4136	757
h-indeks	29	15
i10-indeks	56	19

260

130

195

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 27 43 88 93 151 189 198 215 220 243 212 203 180 173 166 168 179 139 172 223 145 157 139 134 160 21

Dostęp publiczny

Wyświetl wszystko

2 artykuły

1 artykuł

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaZweryfikowany adres z cis.upenn.edu
Naoki KobayashiThe University of TokyoZweryfikowany adres z is.s.u-tokyo.ac.jp
Philip WadlerUniversity of Edinburgh and IOHK/IOGZweryfikowany adres z inf.ed.ac.uk
Taro SekiyamaNational Institute of InformaticsZweryfikowany adres z nii.ac.jp
Mirko ViroliFull Professor of Computer Science, Università di BolognaZweryfikowany adres z unibo.it
Hidehiko MasuharaInstitute of Science Tokyo (née Tokyo Institute of Technology)Zweryfikowany adres z acm.org
Kohei SUENAGAKyoto UniversityZweryfikowany adres z kuis.kyoto-u.ac.jp
Kensuke KojimaKyoto UniversityZweryfikowany adres z kuis.kyoto-u.ac.jp
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaZweryfikowany adres z di.fc.ul.pt
Yukiyoshi KameyamaUniversity of TsukubaZweryfikowany adres z cs.tsukuba.ac.jp
Peter ThiemannProfessor of Computer Science, University of FreiburgZweryfikowany adres z informatik.uni-Freiburg.de
Tomoyuki AotaniSanyo Onoda City UniversityZweryfikowany adres z rs.socu.ac.jp
Shigeru ChibaThe University of TokyoZweryfikowany adres z acm.org
Takeshi TsukadaChiba UniversityZweryfikowany adres z math.s.chiba-u.ac.jp
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceZweryfikowany adres z stevens.edu
Yuya TsudaGraduate School of Informatics, Kyoto UniversityZweryfikowany adres z fos.kuis.kyoto-u.ac.jp
Tetsuo KaminaOita UniversityZweryfikowany adres z oita-u.ac.jp
Hiroshi UnnoTohoku UniversityZweryfikowany adres z acm.org
Yusuke MiyazakiKyoto UniversityZweryfikowany adres z fos.kuis.kyoto-u.ac.jp
Tim FelgentreffHasso Plattner InstitutZweryfikowany adres z hpi.uni-potsdam.de

Obserwuj

Atsushi Igarashi

Professor, Graduate School of Informatics, Kyoto University

Zweryfikowany adres z kuis.kyoto-u.ac.jp - Strona główna

Theoretical Computer Science Programming Languages Type Theory


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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	1258	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	502	1999
A generic type system for the pi-calculus A Igarashi, N Kobayashi Theoretical Computer Science 311 (1-3), 121-163, 2004	183	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	169	2001
Resource usage analysis A Igarashi, N Kobayashi Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	154	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	87	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	79	2006
Gradual typing for generics L Ina, A Igarashi Proceedings of the 2011 ACM international conference on Object oriented …, 2011	69	2011
On polymorphic gradual typing Y Igarashi, T Sekiyama, A Igarashi Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017	64	2017
Foundations for virtual types A Igarashi, BC Pierce ECOOP’99—Object-Oriented Programming: 13th European Conference Lisbon …, 1999	64	1999
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	56	2011
Gradual session types A Igarashi, P Thiemann, VT Vasconcelos, P Wadler Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017	51	2017
Type reconstruction for linear π-calculus with I/O subtyping A Igarashi, N Kobayashi Information and Computation 161 (1), 1-44, 2000	51	2000
On inner classes A Igarashi, BC Pierce Information and Computation 177 (1), 56-89, 2002	48	2002
Polymorphic contracts JF Belo, M Greenberg, A Igarashi, BC Pierce Programming Languages and Systems: 20th European Symposium on Programming …, 2011	41	2011
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 Asian Symposium on Programming Languages and Systems, 161-177, 2005	40	2005
Lightweight family polymorphism C Saito, A Igarashi, M Viroli Journal of Functional Programming 18 (3), 285-331, 2008	39	2008

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy