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
10712001
Featherweight Java: A minimal core calculus for Java and GJ
A Igarashi, B Pierce, P Wadler
ACM SIGPLAN Notices 34 (10), 132-146, 1999
4831999
A generic type system for the pi-calculus
A Igarashi, N Kobayashi
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of†…, 2001
2872001
Resource usage analysis
A Igarashi, N Kobayashi
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of†…, 2002
1362002
Resource usage analysis
A Igarashi, N Kobayashi
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (2), 264-313, 2005
902005
On variance-based subtyping for parametric types
A Igarashi, M Viroli
European Conference on Object-Oriented Programming, 441-469, 2002
812002
Union types for object-oriented programming
A Igarashi, H Nagira
Proceedings of the 2006 ACM symposium on Applied computing, 1435-1441, 2006
782006
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
722006
Foundations for virtual types
A Igarashi, BC Pierce
European Conference on Object-Oriented Programming, 161-185, 1999
631999
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
552011
Gradual typing for generics
L Ina, A Igarashi
Proceedings of the 2011 ACM international conference on Object oriented†…, 2011
502011
Type reconstruction for linear π-calculus with I/O subtyping
A Igarashi, N Kobayashi
Information and Computation 161 (1), 1-44, 2000
462000
On inner classes
A Igarashi, BC Pierce
Information and Computation 177 (1), 56-89, 2002
422002
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
Asian Symposium on Programming Languages and Systems, 161-177, 2005
362005
On polymorphic gradual typing
Y Igarashi, T Sekiyama, A Igarashi
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
352017
Lightweight family polymorphism
C Saito, A Igarashi, M Viroli
Journal of Functional Programming 18 (3), 285-331, 2008
352008
Variant path types for scalable extensibility
A Igarashi, M Viroli
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented†…, 2007
332007
A modal type system for multi-level generating extensions with persistent code
Y Yuse, A Igarashi
Proceedings of the 8th ACM SIGPLAN international conference on Principles†…, 2006
312006
Polymorphic contracts
JF Belo, M Greenberg, A Igarashi, BC Pierce
European Symposium on Programming, 18-37, 2011
292011
The system can't perform the operation now. Try again later.
Articles 1–20