| |
| * | 2009 | |
|---|---|---|
| 6 | EE | Keiko Nakata, Tarmo Uustalu: Trace-Based Coinductive Operational Semantics for While. TPHOLs 2009: 375-390 |
| 5 | EE | Keiko Nakata, Masahito Hasegawa: Small-step and big-step semantics for call-by-need CoRR abs/0907.4640: (2009) |
| 4 | EE | Keiko Nakata: Lazy mixin modules and disciplined effects CoRR abs/0908.3650: (2009) |
| 2006 | ||
| 3 | EE | Keiko Nakata, Jacques Garrigue: Recursive modules for programming. ICFP 2006: 74-86 |
| 1995 | ||
| 2 | EE | Toru Ishida, Yutaka Sasaki, Keiko Nakata, Yoshimi Fukuhara: A Meta-Level Control Architecture for Production Systems. IEEE Trans. Knowl. Data Eng. 7(1): 44-52 (1995) |
| 1993 | ||
| 1 | Yutaka Sasaki, Keiko Nakata, Toru Ishida, Yoshimi Fukuhara: Advantages of Meta-Level Control Architectures in Maintaining Rule-Based Systems. ICTAI 1993: 495-496 | |
| 1 | Yoshimi Fukuhara | [1] [2] |
| 2 | Jacques Garrigue | [3] |
| 3 | Masahito Hasegawa | [5] |
| 4 | Toru Ishida | [1] [2] |
| 5 | Yutaka Sasaki | [1] [2] |
| 6 | Tarmo Uustalu | [6] |