| |
| 2008 | ||
|---|---|---|
| 3 | EE | Futoshi Iwama, Naoki Kobayashi: A New Type System for JVM Lock Primitives. New Generation Comput. 26(2): 125-170 (2008) |
| 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] [3] |