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 |