| 2006 | ||
|---|---|---|
| 2 | EE | Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi: Resource usage analysis for a functional language with exceptions. PEPM 2006: 38-47 |
| 2002 | ||
| 1 | EE | Futoshi Iwama, Naoki Kobayashi: A new type system for JVM lock primitives. ASIA-PEPM 2002: 71-82 |
| 1 | Atsushi Igarashi | [2] |
| 2 | Naoki Kobayashi | [1] [2] |