| 2009 |
|---|
| 29 | EE | Chieri Saito,
Atsushi Igarashi:
Matching ThisType to subtyping.
SAC 2009: 1851-1858 |
| 2008 |
|---|
| 28 | EE | Naokata Shikuma,
Atsushi Igarashi:
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
CoRR abs/0808.3307: (2008) |
| 27 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama,
Atsushi Igarashi:
Calculi of meta-variables.
Frontiers of Computer Science in China 2(1): 12-21 (2008) |
| 26 | EE | Chieri Saito,
Atsushi Igarashi,
Mirko Viroli:
Lightweight family polymorphism.
J. Funct. Program. 18(3): 285-331 (2008) |
| 2007 |
|---|
| 25 | EE | Atsushi Igarashi,
Masashi Iwaki:
Deriving Compilers and Virtual Machines for a Multi-level Language.
APLAS 2007: 206-221 |
| 24 | EE | Atsushi Igarashi,
Mirko Viroli:
Variant path types for scalable extensibility.
OOPSLA 2007: 113-132 |
| 23 | EE | Atsushi Igarashi,
Hideshi Nagira:
Union Types for Object-Oriented Programming.
Journal of Object Technology 6(2): (2007) |
| 2006 |
|---|
| 22 | EE | Naokata Shikuma,
Atsushi Igarashi:
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus.
ASIAN 2006: 301-315 |
| 21 | EE | 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 | EE | Futoshi Iwama,
Atsushi Igarashi,
Naoki Kobayashi:
Resource usage analysis for a functional language with exceptions.
PEPM 2006: 38-47 |
| 19 | EE | Yosihiro Yuse,
Atsushi Igarashi:
A modal type system for multi-level generating extensions with persistent code.
PPDP 2006: 201-212 |
| 18 | EE | Atsushi Igarashi,
Hideshi Nagira:
Union types for object-oriented programming.
SAC 2006: 1435-1441 |
| 17 | EE | 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 | EE | Atsushi Igarashi,
Chieri Saito,
Mirko Viroli:
Lightweight Family Polymorphism.
APLAS 2005: 161-177 |
| 15 | EE | Atsushi Igarashi,
Naoki Kobayashi:
Resource usage analysis.
ACM Trans. Program. Lang. Syst. 27(2): 264-313 (2005) |
| 2004 |
|---|
| 14 | EE | Atsushi Igarashi,
Naoki Kobayashi:
A generic type system for the Pi-calculus.
Theor. Comput. Sci. 311(1-3): 121-163 (2004) |
| 2003 |
|---|
| 13 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama,
Atsushi Igarashi:
Calculi of Meta-variables.
CSL 2003: 484-497 |
| 2002 |
|---|
| 12 | EE | Atsushi Igarashi,
Mirko Viroli:
On Variance-Based Subtyping for Parametric Types.
ECOOP 2002: 441-469 |
| 11 | EE | Atsushi Igarashi,
Naoki Kobayashi:
Resource usage analysis.
POPL 2002: 331-342 |
| 10 | EE | Atsushi Igarashi,
Benjamin C. Pierce:
Foundations for Virtual Types.
Inf. Comput. 175(1): 34-49 (2002) |
| 9 | EE | 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 | EE | Atsushi Igarashi,
Naoki Kobayashi:
A generic type system for the Pi-calculus.
POPL 2001: 128-141 |
| 6 | EE | 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 | EE | 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 | EE | Atsushi Igarashi,
Benjamin C. Pierce:
Foundations for Virtual Types.
ECOOP 1999: 161-185 |
| 2 | EE | 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 |
