| 2008 |
|---|
| 16 | EE | Yukiyoshi Kameyama,
Takuo Yonezawa:
Typed Dynamic Control Operators for Delimited Continuations.
FLOPS 2008: 239-254 |
| 15 | EE | Yukiyoshi Kameyama,
Oleg Kiselyov,
Chung-chieh Shan:
Closing the stage: from staged code to typed closures.
PEPM 2008: 147-157 |
| 2007 |
|---|
| 14 | EE | Kenichi Asai,
Yukiyoshi Kameyama:
Polymorphic Delimited Continuations.
APLAS 2007: 239-254 |
| 13 | EE | Yukiyoshi Kameyama:
Axioms for control operators in the CPS hierarchy.
Higher-Order and Symbolic Computation 20(4): 339-369 (2007) |
| 2004 |
|---|
| 12 | | Yukiyoshi Kameyama,
Peter J. Stuckey:
Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
Springer 2004 |
| 11 | EE | Yukiyoshi Kameyama:
Axioms for Delimited Continuations in the CPS Hierarchy.
CSL 2004: 442-457 |
| 2003 |
|---|
| 10 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama,
Atsushi Igarashi:
Calculi of Meta-variables.
CSL 2003: 484-497 |
| 9 | EE | Yukiyoshi Kameyama,
Masahito Hasegawa:
A sound and complete axiomatization of delimited continuations.
ICFP 2003: 177-188 |
| 2002 |
|---|
| 8 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama:
A Simply Typed Context Calculus with First-class Environments.
Journal of Functional and Logic Programming 2002: (2002) |
| 7 | EE | Yukiyoshi Kameyama,
Masahiko Sato:
Strong normalizability of the non-deterministic catch/throw calculi.
Theor. Comput. Sci. 272(1-2): 223-245 (2002) |
| 2001 |
|---|
| 6 | | Yukiyoshi Kameyama:
Dynamic Control Operators in Type Theory.
APLAS 2001: 1-11 |
| 5 | EE | Masahiko Sato,
Yukiyoshi Kameyama,
Izumi Takeuti:
CAL: A Computer Assisted Learning System for Computation and Logic.
EUROCAST 2001: 509-524 |
| 4 | EE | Masahiko Sato,
Takafumi Sakurai,
Yukiyoshi Kameyama:
A Simply Typed Context Calculus with First-Class Environments.
FLOPS 2001: 359-374 |
| 2000 |
|---|
| 3 | EE | Yukiyoshi Kameyama:
A Type-Theoretic Study on Partial Continuations.
IFIP TCS 2000: 489-504 |
| 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 |
