フォロー
Atsushi Igarashi
Atsushi Igarashi
Professor, Graduate School of Informatics, Kyoto University
確認したメール アドレス: kuis.kyoto-u.ac.jp - ホームページ
タイトル
引用先
引用先
年
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
11682001
Featherweight Java: A minimal core calculus for Java and GJ
A Igarashi, B Pierce, P Wadler
ACM SIGPLAN Notices 34 (10), 132-146, 1999
4921999
A generic type system for the pi-calculus
A Igarashi, N Kobayashi
Theoretical Computer Science 311 (1-3), 121-163, 2004
3012004
Resource usage analysis
A Igarashi, N Kobayashi
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002
1432002
Resource usage analysis
A Igarashi, N Kobayashi
ACM Transactions on Programming Languages and Systems (TOPLAS) 27 (2), 264-313, 2005
952005
Union types for object-oriented programming
A Igarashi, H Nagira
Proceedings of the 2006 ACM symposium on Applied computing, 1435-1441, 2006
902006
On variance-based subtyping for parametric types
A Igarashi, M Viroli
European Conference on Object-Oriented Programming, 441-469, 2002
812002
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
752006
Foundations for virtual types
A Igarashi, BC Pierce
European Conference on Object-Oriented Programming, 161-185, 1999
661999
Gradual typing for generics
L Ina, A Igarashi
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
632011
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
562011
On polymorphic gradual typing
Y Igarashi, T Sekiyama, A Igarashi
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017
542017
Type reconstruction for linear π-calculus with I/O subtyping
A Igarashi, N Kobayashi
Information and Computation 161 (1), 1-44, 2000
492000
On inner classes
A Igarashi, BC Pierce
Information and Computation 177 (1), 56-89, 2002
472002
Gradual session types
A Igarashi, P Thiemann, VT Vasconcelos, P Wadler
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
422017
On inner classes
A Igarashi, BC Pierce
European Conference on Object-Oriented Programming, 129-153, 2000
422000
Lightweight family polymorphism
A Igarashi, C Saito, M Viroli
Asian Symposium on Programming Languages and Systems, 161-177, 2005
382005
Variant path types for scalable extensibility
A Igarashi, M Viroli
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007
362007
Lightweight family polymorphism
C Saito, A Igarashi, M Viroli
Journal of Functional Programming 18 (3), 285-331, 2008
352008
Polymorphic contracts
JF Belo, M Greenberg, A Igarashi, BC Pierce
European Symposium on Programming, 18-37, 2011
342011
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20