| 2009 |
|---|
| 21 | EE | Yukiyoshi Kameyama,
Oleg Kiselyov,
Chung-chieh Shan:
Shifting the stage: staging with delimited control.
PEPM 2009: 111-120 |
| 2008 |
|---|
| 20 | EE | Jefferson O. Andrade,
Yukiyoshi Kameyama:
A Direct Algorithm for Multi-valued Bounded Model Checking.
ATVA 2008: 80-94 |
| 19 | EE | 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 | EE | Yukiyoshi Kameyama,
Takuo Yonezawa:
Typed Dynamic Control Operators for Delimited Continuations.
FLOPS 2008: 239-254 |
| 17 | EE | Yukiyoshi Kameyama,
Oleg Kiselyov,
Chung-chieh Shan:
Closing the stage: from staged code to typed closures.
PEPM 2008: 147-157 |
| 16 | EE | 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 | EE | Kenichi Asai,
Yukiyoshi Kameyama:
Polymorphic Delimited Continuations.
APLAS 2007: 239-254 |
| 14 | EE | 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 | EE | Yukiyoshi Kameyama:
Axioms for Delimited Continuations in the CPS Hierarchy.
CSL 2004: 442-457 |
| 2003 |
|---|
| 11 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama,
Atsushi Igarashi:
Calculi of Meta-variables.
CSL 2003: 484-497 |
| 10 | EE | Yukiyoshi Kameyama,
Masahito Hasegawa:
A sound and complete axiomatization of delimited continuations.
ICFP 2003: 177-188 |
| 2002 |
|---|
| 9 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama:
A Simply Typed Context Calculus with First-class Environments.
Journal of Functional and Logic Programming 2002: (2002) |
| 8 | EE | 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 | EE | Masahiko Sato,
Yukiyoshi Kameyama,
Izumi Takeuti:
CAL: A Computer Assisted Learning System for Computation and Logic.
EUROCAST 2001: 509-524 |
| 5 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama:
A Simply Typed Context Calculus with First-Class Environments.
FLOPS 2001: 359-374 |
| 2000 |
|---|
| 4 | EE | 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 |
