Yukiyoshi Kameyama

	2009
22		Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Shifting the stage: staging with delimited control. PEPM 2009: 111-120
21		Yukiyoshi Kameyama: Foreword. IEICE Transactions 92-D(5): 971 (2009)
	2008
20		Jefferson O. Andrade, Yukiyoshi Kameyama: A Direct Algorithm for Multi-valued Bounded Model Checking. ATVA 2008: 80-94
19		Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano: Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. CSL 2008: 478-492
18		Yukiyoshi Kameyama, Takuo Yonezawa: Typed Dynamic Control Operators for Delimited Continuations. FLOPS 2008: 239-254
17		Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Closing the stage: from staged code to typed closures. PEPM 2008: 147-157
16		Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of meta-variables. Frontiers of Computer Science in China 2(1): 12-21 (2008)
	2007
15		Kenichi Asai, Yukiyoshi Kameyama: Polymorphic Delimited Continuations. APLAS 2007: 239-254
14		Yukiyoshi Kameyama: Axioms for control operators in the CPS hierarchy. Higher-Order and Symbolic Computation 20(4): 339-369 (2007)
	2004
13		Yukiyoshi Kameyama, Peter J. Stuckey: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings Springer 2004
12		Yukiyoshi Kameyama: Axioms for Delimited Continuations in the CPS Hierarchy. CSL 2004: 442-457
	2003
11		Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi: Calculi of Meta-variables. CSL 2003: 484-497
10		Yukiyoshi Kameyama, Masahito Hasegawa: A sound and complete axiomatization of delimited continuations. ICFP 2003: 177-188
	2002
9		Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-class Environments. Journal of Functional and Logic Programming 2002: (2002)
8		Yukiyoshi Kameyama, Masahiko Sato: Strong normalizability of the non-deterministic catch/throw calculi. Theor. Comput. Sci. 272(1-2): 223-245 (2002)
	2001
7		Yukiyoshi Kameyama: Dynamic Control Operators in Type Theory. APLAS 2001: 1-11
6		Masahiko Sato, Yukiyoshi Kameyama, Izumi Takeuti: CAL: A Computer Assisted Learning System for Computation and Logic. EUROCAST 2001: 509-524
5		Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama: A Simply Typed Context Calculus with First-Class Environments. FLOPS 2001: 359-374
	2000
4		Yukiyoshi Kameyama: A Type-Theoretic Study on Partial Continuations. IFIP TCS 2000: 489-504
	1998
3		Yukiyoshi Kameyama, Masahiko Sato: A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability. CATS 1998: 183-198
	1995
2		Yukiyoshi Kameyama: A Type-Free Theory of Half-Monotone Inductive Definitions. Int. J. Found. Comput. Sci. 6(3): 203-234 (1995)
	1994
1		Masahiko Sato, Yukiyoshi Kameyama: Conservativeness of Lambda over lambda-sigma-Calculus. Logic, Language and Computation 1994: 73-94

Coauthor Index

1	Jefferson O. Andrade	[20]
2	Kenichi Asai	[15]
3	Masahito Hasegawa	[10]
4	Atsushi Igarashi	[11] [16]
5	Oleg Kiselyov	[17] [22]
6	Hiroshi Nakano	[19]
7	Koji Nakazawa	[19]
8	Takafumi Sakurai	[5] [9] [11] [16]
9	Masahiko Sato	[1] [3] [5] [6] [8] [9] [11] [16]
10	Chung-chieh Shan	[17] [22]
11	Peter J. Stuckey	[13]
12	Izumi Takeuti	[6]
13	Makoto Tatsuta	[19]
14	Takuo Yonezawa	[18]

Colors in the list of coauthors