Conservativeness of Lambda over lambda-sigma-Calculus. - Masahiko Sato 001; Yukiyoshi Kameyama (Logic, Language and Computation, 1994)

A Type-Free Theory of Half-Monotone Inductive Definitions. - Yukiyoshi Kameyama (Int. J. Found. Comput. Sci., 1995)

A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability. - Yukiyoshi Kameyama; Masahiko Sato 001 (CATS, 1998)

A Type-Theoretic Study on Partial Continuations. - Yukiyoshi Kameyama (IFIP TCS, 2000)

Dynamic Control Operators in Type Theory. - Yukiyoshi Kameyama (APLAS, 2001)

CAL: A Computer Assisted Learning System for Computation and Logic. - Masahiko Sato 001; Yukiyoshi Kameyama; Izumi Takeuti (EUROCAST, 2001)

A Simply Typed Context Calculus with First-class Environments. - Masahiko Sato 001; Takafumi Sakurai; Yukiyoshi Kameyama (J. Funct. Log. Program., 2002)

Strong normalizability of the non-deterministic catch/throw calculi. - Yukiyoshi Kameyama; Masahiko Sato 001 (Theor. Comput. Sci., 2002)

A sound and complete axiomatization of delimited continuations. - Yukiyoshi Kameyama; Masahito Hasegawa (ICFP, 2003)

Axioms for Delimited Continuations in the CPS Hierarchy. - Yukiyoshi Kameyama (CSL, 2004)

Polymorphic Delimited Continuations. - Kenichi Asai; Yukiyoshi Kameyama (APLAS, 2007)

Axioms for control operators in the CPS hierarchy. - Yukiyoshi Kameyama (High. Order Symb. Comput., 2007)

A Direct Algorithm for Multi-valued Bounded Model Checking. - Jefferson O. Andrade; Yukiyoshi Kameyama (ATVA, 2008)

Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence. - Koji Nakazawa; Makoto Tatsuta; Yukiyoshi Kameyama; Hiroshi Nakano (CSL, 2008)

Typed Dynamic Control Operators for Delimited Continuations. - Yukiyoshi Kameyama; Takuo Yonezawa (FLOPS, 2008)

Closing the stage: from staged code to typed closures. - Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan (PEPM, 2008)

Calculi of meta-variables. - Masahiko Sato 001; Takafumi Sakurai; Yukiyoshi Kameyama; Atsushi Igarashi (Frontiers Comput. Sci. China, 2008)

A Type System for Dynamic Delimited Continuations. - Takuo Yonezawa; Yukiyoshi Kameyama (Inf. Media Technol., 2008)

Foreword. - Yukiyoshi Kameyama (IEICE Trans. Inf. Syst., 2009)

Equational axiomatization of call-by-name delimited control. - Yukiyoshi Kameyama; Asami Tanaka (PPDP, 2010)

Improving Error Messages in Type System. - Cynthia Kustanto; Yukiyoshi Kameyama (Inf. Media Technol., 2010)

Polymorphic Multi-stage Language with Control Effects. - Yuichiro Kokaji; Yukiyoshi Kameyama (APLAS, 2011)

Shifting the stage - Staging with delimited control. - Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan (J. Funct. Program., 2011)

Type checking and typability in domain-free lambda calculi. - Koji Nakazawa; Makoto Tatsuta; Yukiyoshi Kameyama; Hiroshi Nakano (Theor. Comput. Sci., 2011)

A Call-by-Name CPS Hierarchy. - Asami Tanaka; Yukiyoshi Kameyama (FLOPS, 2012)

Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras. - Jefferson O. Andrade; Yukiyoshi Kameyama (IEICE Trans. Inf. Syst., 2012)

Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4). - Oleg Kiselyov; Chung-chieh Shan; Yukiyoshi Kameyama (NII Shonan Meet. Rep., 2012)

Shonan challenge for generative programming: short position paper. - Baris Aktemur; Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan (PEPM, 2013)

Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7). - Oleg Kiselyov; Jeremy G. Siek; Yukiyoshi Kameyama (NII Shonan Meet. Rep., 2014)

Generate and offshore: type-safe and modular code generation for low-level optimization. - Naoki Takashima; Hiroki Sakamoto; Yukiyoshi Kameyama (FHPC@ICFP, 2015)

Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators. - Ikuo Kobori; Yukiyoshi Kameyama; Oleg Kiselyov (WoC, 2015)

Combinators for impure yet hygienic code generation. - Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan (Sci. Comput. Program., 2015)

Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells. - Oleg Kiselyov; Yukiyoshi Kameyama; Yuto Sudo (APLAS, 2016)

Staging beyond terms: prospects and challenges. - Jun Inoue 001; Oleg Kiselyov; Yukiyoshi Kameyama (PEPM, 2016)

Finally, safely-extensible and efficient language-integrated query. - Kenichi Suzuki; Oleg Kiselyov; Yukiyoshi Kameyama (PEPM, 2016)

Automatic Staging via Partial Evaluation Techniques. - Kenichi Asai; Yukiyoshi Kameyama (SCSS, 2016)

Staging with control: type-safe multi-stage programming with control operators. - Junpei Oishi; Yukiyoshi Kameyama (GPCE, 2017)

Program generation for ML modules (short paper). - Takahisa Watanabe; Yukiyoshi Kameyama (PEPM, 2018)

Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7). - Oleg Kiselyov; Tiark Rompf; Jennifer Neville; Yukiyoshi Kameyama (NII Shonan Meet. Rep., 2018)

Language-Integrated Query with Nested Data Structures and Grouping. - Rui Okura; Yukiyoshi Kameyama (FLOPS, 2020)

Reorganizing queries with grouping. - Rui Okura; Yukiyoshi Kameyama (GPCE, 2020)

Module generation without regret. - Yuhi Sato; Yukiyoshi Kameyama; Takahisa Watanabe (PEPM@POPL, 2020)

One-Shot Algebraic Effects as Coroutines. - Satoru Kawahara; Yukiyoshi Kameyama (TFP, 2020)

Type-safe generation of modules in applicative and generative styles. - Yuhi Sato; Yukiyoshi Kameyama (GPCE, 2021)

FFT Program Generation for Ring LWE-Based Cryptography. - Masahiro Masuda; Yukiyoshi Kameyama (IWSEC, 2021)

Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform. - Masahiro Masuda; Yukiyoshi Kameyama (FLOPS, 2022)

Generating Programs for Polynomial Multiplication with Correctness Assurance. - Ryo Tokuda; Yukiyoshi Kameyama (PEPM@POPL, 2023)

Type-Safe Code Generation with Algebraic Effects and Handlers. - Kanaru Isoda; Ayato Yokoyama; Yukiyoshi Kameyama (GPCE, 2024)

Program generation meets program verification: A case study on number-theoretic transform. - Masahiro Masuda; Yukiyoshi Kameyama (Sci. Comput. Program., 2024)

Staged Gradual Typing. - Hiroto Yaguchi; Yukiyoshi Kameyama (GPCE, 2025)