Atsushi Igarashi

	2009
33		Chieri Saito, Atsushi Igarashi: Self type constructors. OOPSLA 2009: 263-282
32		Chieri Saito, Atsushi Igarashi: Matching ThisType to subtyping. SAC 2009: 1851-1858
31		Takeshi Tsukada, Atsushi Igarashi: A Logical Foundation for Environment Classifiers. TLCA 2009: 341-355
	2008
30		Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad: Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76
29		Naokata Shikuma, Atsushi Igarashi: Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus CoRR abs/0808.3307: (2008)
28		Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of meta-variables. Frontiers of Computer Science in China 2(1): 12-21 (2008)
27		Chieri Saito, Atsushi Igarashi, Mirko Viroli: Lightweight family polymorphism. J. Funct. Program. 18(3): 285-331 (2008)
26		Naokata Shikuma, Atsushi Igarashi: Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. Logical Methods in Computer Science 4(3): (2008)
	2007
25		Atsushi Igarashi, Masashi Iwaki: Deriving Compilers and Virtual Machines for a Multi-level Language. APLAS 2007: 206-221
24		Atsushi Igarashi, Mirko Viroli: Variant path types for scalable extensibility. OOPSLA 2007: 113-132
23		Atsushi Igarashi, Hideshi Nagira: Union Types for Object-Oriented Programming. Journal of Object Technology 6(2): (2007)
	2006
22		Naokata Shikuma, Atsushi Igarashi: Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. ASIAN 2006: 301-315
21		Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca: Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58
20		Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi: Resource usage analysis for a functional language with exceptions. PEPM 2006: 38-47
19		Yosihiro Yuse, Atsushi Igarashi: A modal type system for multi-level generating extensions with persistent code. PPDP 2006: 201-212
18		Atsushi Igarashi, Hideshi Nagira: Union types for object-oriented programming. SAC 2006: 1435-1441
17		Atsushi Igarashi, Mirko Viroli: Variant parametric types: A flexible subtyping scheme for generics. ACM Trans. Program. Lang. Syst. 28(5): 795-847 (2006)
	2005
16		Atsushi Igarashi, Chieri Saito, Mirko Viroli: Lightweight Family Polymorphism. APLAS 2005: 161-177
15		Atsushi Igarashi, Naoki Kobayashi: Resource usage analysis. ACM Trans. Program. Lang. Syst. 27(2): 264-313 (2005)
	2004
14		Atsushi Igarashi, Naoki Kobayashi: A generic type system for the Pi-calculus. Theor. Comput. Sci. 311(1-3): 121-163 (2004)
	2003
13		Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of Meta-variables. CSL 2003: 484-497
	2002
12		Atsushi Igarashi, Mirko Viroli: On Variance-Based Subtyping for Parametric Types. ECOOP 2002: 441-469
11		Atsushi Igarashi, Naoki Kobayashi: Resource usage analysis. POPL 2002: 331-342
10		Atsushi Igarashi, Benjamin C. Pierce: Foundations for Virtual Types. Inf. Comput. 175(1): 34-49 (2002)
9		Atsushi Igarashi, Benjamin C. Pierce: On Inner Classes. Inf. Comput. 177(1): 56-89 (2002)
	2001
8		Atsushi Igarashi, Naoki Kobayashi: Resource Usage Analysis. APLAS 2001: 147-158
7		Atsushi Igarashi, Naoki Kobayashi: A generic type system for the Pi-calculus. POPL 2001: 128-141
6		Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3): 396-450 (2001)
	2000
5		Atsushi Igarashi, Benjamin C. Pierce: On Inner Classes. ECOOP 2000: 129-153
4		Atsushi Igarashi, Naoki Kobayashi: Type Reconstruction for Linear -Calculus with I/O Subtyping. Inf. Comput. 161(1): 1-44 (2000)
	1999
3		Atsushi Igarashi, Benjamin C. Pierce: Foundations for Virtual Types. ECOOP 1999: 161-185
2		Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler: Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA 1999: 132-146
	1997
1		Atsushi Igarashi, Naoki Kobayashi: Type-Based Analysis of Communication for Concurrent Programming Languages. SAS 1997: 187-201

Coauthor Index

1	Elvira Albert	[30]
2	Davide Ancona	[21]
3	Anindya Banerjee	[30]
4	Sophia Drossopoulou	[21] [30]
5	Marieke Huisman	[30]
6	Masashi Iwaki	[25]
7	Futoshi Iwama	[20]
8	Yukiyoshi Kameyama	[13] [28]
9	Naoki Kobayashi	[1] [4] [7] [8] [11] [14] [15] [20]
10	Gary T. Leavens	[21] [30]
11	Peter Müller	[30]
12	Hideshi Nagira	[18] [23]
13	Benjamin C. Pierce	[2] [3] [5] [6] [9] [10]
14	Arnd Poetzsch-Heffter	[21]
15	Chieri Saito	[16] [27] [32] [33]
16	Takafumi Sakurai	[13] [28]
17	Masahiko Sato	[13] [28]
18	Naokata Shikuma	[22] [26] [29]
19	Takeshi Tsukada	[31]
20	Mirko Viroli	[12] [16] [17] [24] [27]
21	Philip Wadler	[2] [6]
22	Tobias Wrigstad	[30]
23	Yosihiro Yuse	[19]
24	Elena Zucca	[21]

Colors in the list of coauthors