Keiko Nakata

	2009
6		Keiko Nakata, Tarmo Uustalu: Trace-Based Coinductive Operational Semantics for While. TPHOLs 2009: 375-390
5		Keiko Nakata, Masahito Hasegawa: Small-step and big-step semantics for call-by-need CoRR abs/0907.4640: (2009)
4		Keiko Nakata: Lazy mixin modules and disciplined effects CoRR abs/0908.3650: (2009)
	2006
3		Keiko Nakata, Jacques Garrigue: Recursive modules for programming. ICFP 2006: 74-86
	1995
2		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

Coauthor Index

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]

Colors in the list of coauthors