Follow
Atsushi Igarashi
Atsushi Igarashi
Professor, Graduate School of Informatics, Kyoto University
Verified email at kuis.kyoto-u.ac.jp - Homepage
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
12252001
Featherweight Java: A minimal core calculus for Java and GJ
A Igarashi, B Pierce, P Wadler
ACM SIGPLAN Notices 34 (10), 132-146, 1999
4971999
A generic type system for the pi-calculus
A Igarashi, N Kobayashi
Theoretical Computer Science 311 (1-3), 121-163, 2004
1792004
A generic type system for the pi-calculus
A Igarashi, N Kobayashi
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
1642001
Resource usage analysis
A Igarashi, N Kobayashi
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1502002
Union types for object-oriented programming
A Igarashi, H Nagira
Proceedings of the 2006 ACM symposium on Applied computing, 1435-1441, 2006
972006
Resource usage analysis
A Igarashi, N Kobayashi
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (2), 264-313, 2005
942005
On variance-based subtyping for parametric types
A Igarashi, M Viroli
ECOOP 2002—Object-Oriented Programming: 16th European Conference Málaga …, 2002
852002
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
772006
Gradual typing for generics
L Ina, A Igarashi
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
682011
Foundations for virtual types
A Igarashi, BC Pierce
ECOOP’99—Object-Oriented Programming: 13th European Conference Lisbon …, 1999
651999
On polymorphic gradual typing
Y Igarashi, T Sekiyama, A Igarashi
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
632017
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
572011
Type reconstruction for linear π-calculus with I/O subtyping
A Igarashi, N Kobayashi
Information and Computation 161 (1), 1-44, 2000
522000
Gradual session types
A Igarashi, P Thiemann, VT Vasconcelos, P Wadler
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
492017
On inner classes
A Igarashi, BC Pierce
Information and Computation 177 (1), 56-89, 2002
472002
On inner classes
A Igarashi, BC Pierce
European Conference on Object-Oriented Programming, 129-153, 2000
412000
Lightweight family polymorphism
A Igarashi, C Saito, M Viroli
Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005
402005
Polymorphic contracts
JF Belo, M Greenberg, A Igarashi, BC Pierce
Programming Languages and Systems: 20th European Symposium on Programming …, 2011
382011
Lightweight family polymorphism
C Saito, A Igarashi, M Viroli
Journal of Functional Programming 18 (3), 285-331, 2008
382008
The system can't perform the operation now. Try again later.
Articles 1–20