Yukiyoshi Kameyama

发表

Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

Peter J. Stuckey, Yukiyoshi Kameyama, 2004 .

Staging beyond terms: prospects and challenges

Yukiyoshi Kameyama, Jun Inoue, Oleg Kiselyov, 2016, PEPM.

A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability

Yukiyoshi Kameyama, Masahiko Sato, 1998, CATS.

Strong normalizability of the non-deterministic catch/throw calculi

Yukiyoshi Kameyama, Masahiko Sato, 2002, Theor. Comput. Sci..

A Type-Free Theory of Half-Monotone Inductive Definitions

Yukiyoshi Kameyama, 1995, Int. J. Found. Comput. Sci..

Combinators for impure yet hygienic code generation

Chung-chieh Shan, Yukiyoshi Kameyama, Oleg Kiselyov, 2014, PEPM '14.

Staging with control: type-safe multi-stage programming with control operators

Yukiyoshi Kameyama, Junpei Oishi, Yukiyoshi Kameyama, 2017, GPCE.

Functional and Logic Programming

Peter J. Stuckey, Yukiyoshi Kameyama, 2004, Lecture Notes in Computer Science.

Improvement on Real - time Model Checking Using Abstraction - Refinement

Yukiyoshi Kameyama, Hajime Nakajima, 2004 .

Finally, safely-extensible and efficient language-integrated query

Yukiyoshi Kameyama, Kenichi Suzuki, Oleg Kiselyov, 2016, PEPM.

Axioms for control operators in the CPS hierarchy

Yukiyoshi Kameyama, 2007, High. Order Symb. Comput..

Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4)

Chung-chieh Shan, Yukiyoshi Kameyama, Oleg Kiselyov, 2012, NII Shonan Meet. Rep..

Type checking and typability in domain-free lambda calculi

Hiroshi Nakano, Makoto Tatsuta, Yukiyoshi Kameyama, 2011, Theor. Comput. Sci..

A Direct Algorithm for Multi-valued Bounded Model Checking

Yukiyoshi Kameyama, Jefferson O. Andrade, 2008, ATVA.

Axioms for Delimited Continuations in the CPS Hierarchy

Yukiyoshi Kameyama, Yukiyoshi Kameyama, 2004, CSL.

Language-Integrated Query with Nested Data Structures and Grouping

Yukiyoshi Kameyama, Rui Okura, 2020, FLOPS.

Typed Dynamic Control Operators for Delimited Continuations

Yukiyoshi Kameyama, Takuo Yonezawa, Yukiyoshi Kameyama, 2008, FLOPS.

Shonan challenge for generative programming: short position paper

Chung-chieh Shan, Yukiyoshi Kameyama, Oleg Kiselyov, 2013, PEPM '13.

Reflection mechanism in constructive programming

Yukiyoshi Kameyama, 1996 .

COMBINATORY LOGIC AND $ lambda $-CALCULUS FOR CLASSICAL LOGIC

Yukiyoshi Kameyama, Sachio Hirokawa, Kensuke Baba, 2000 .

Reorganizing queries with grouping

Yukiyoshi Kameyama, Rui Okura, 2020, GPCE.

A sound and complete axiomatization of delimited continuations

Yukiyoshi Kameyama, Masahito Hasegawa, Masahito Hasegawa, 2003, ICFP '03.

Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence

Hiroshi Nakano, Makoto Tatsuta, Yukiyoshi Kameyama, 2008, CSL.

Combinators for impure yet hygienic code generation

Chung-chieh Shan, Yukiyoshi Kameyama, Oleg Kiselyov, 2015, Sci. Comput. Program..

Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7)

Yukiyoshi Kameyama, Jeremy G. Siek, Oleg Kiselyov, 2014, NII Shonan Meet. Rep..

Closing the stage: from staged code to typed closures

Chung-chieh Shan, Yukiyoshi Kameyama, Oleg Kiselyov, 2008, PEPM '08.

Conservativeness of Lambda over lambda-sigma-Calculus

Yukiyoshi Kameyama, Masahiko Sato, 1994, Logic, Language and Computation.

A Type-Theoretic Study on Partial Continuations

Yukiyoshi Kameyama, Yukiyoshi Kameyama, 2000, IFIP TCS.

Polymorphic Multi-stage Language with Control Effects

Yukiyoshi Kameyama, Yuichiro Kokaji, Yukiyoshi Kameyama, 2011, APLAS.

Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells

Yukiyoshi Kameyama, Oleg Kiselyov, Yuto Sudo, 2016, APLAS.

Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators

Yukiyoshi Kameyama, Oleg Kiselyov, Ikuo Kobori, 2015, WoC.

Calculi of Meta-variables

Atsushi Igarashi, Yukiyoshi Kameyama, Masahiko Sato, 2003, CSL.

One-Shot Algebraic Effects as Coroutines

Yukiyoshi Kameyama, Satoru Kawahara, Yukiyoshi Kameyama, 2020, TFP.

Equational axiomatization of call-by-name delimited control

Yukiyoshi Kameyama, Asami Tanaka, 2010, PPDP.

A Simply Typed Context Calculus with First-class Environments

Yukiyoshi Kameyama, Masahiko Sato, Takafumi Sakurai, 2001, J. Funct. Log. Program..

Improving Error Messages in Type System

Yukiyoshi Kameyama, Cynthia Kustanto, 2010 .

Module generation without regret

Yukiyoshi Kameyama, Yuhi Sato, Takahisa Watanabe, 2020, PEPM@POPL.

A sound and complete axiomatization of delimited continuations

Yukiyoshi Kameyama, Masahito Hasegawa, 2003, ACM SIGPLAN Notices.

Proceedings of the 5th International Workshop on Functional High-Performance Computing

David J. Duke, Yukiyoshi Kameyama, 2016, FHPC@ICFP.

Automatic Staging via Partial Evaluation Techniques

Yukiyoshi Kameyama, Kenichi Asai, 2016, SCSS.

Session details: Session 1

Yukiyoshi Kameyama, 2006 .

Generate and offshore: type-safe and modular code generation for low-level optimization

Yukiyoshi Kameyama, Hiroki Sakamoto, Naoki Takashima, 2015, FHPC@ICFP.

A Type System for Dynamic Delimited Continuations

Yukiyoshi Kameyama, Takuo Yonezawa, Yukiyoshi Kameyama, 2008 .

Dynamic Control Operators in Type Theory

Yukiyoshi Kameyama, 2001, APLAS.

A Call-by-Name CPS Hierarchy

Yukiyoshi Kameyama, Asami Tanaka, 2012, FLOPS.

CAL: A Computer Assisted Learning System for Computation and Logic

Izumi Takeuti, Yukiyoshi Kameyama, Masahiko Sato, 2001, EUROCAST.

Calculi of meta-variables

Atsushi Igarashi, Yukiyoshi Kameyama, Masahiko Sato, 2008, Frontiers of Computer Science in China.

Foreword

Yukiyoshi Kameyama, 2009, IEICE Trans. Inf. Syst..

Program generation for ML modules (short paper)

Yukiyoshi Kameyama, Takahisa Watanabe, 2018, PEPM.

Shifting the stage - Staging with delimited control

Chung-chieh Shan, Yukiyoshi Kameyama, Oleg Kiselyov, 2011, J. Funct. Program..

Efficient Multi-Valued Bounded Model Checking for LTL over Quasi-Boolean Algebras

Yukiyoshi Kameyama, Jefferson O. Andrade, 2012, IEICE Trans. Inf. Syst..

Shifting the stage: staging with delimited control

Chung-chieh Shan, Yukiyoshi Kameyama, Oleg Kiselyov, 2009, PEPM '09.

Polymorphic Delimited Continuations

Yukiyoshi Kameyama, Kenichi Asai, K. Asai, 2007, APLAS.

Type-safe generation of modules in applicative and generative styles

Yukiyoshi Kameyama, Yuhi Sato, 2021, GPCE.

FFT Program Generation for Ring LWE-Based Cryptography

Yukiyoshi Kameyama, Masahiro Masuda, 2021, IWSEC.

Axiomatizing Higher Level Delimited Continuation

Yukiyoshi Kameyama, 2003 .

ATM without Tears: Prompt-Passing Style Transformation for Typed Delimited-Control Operators

Yukiyoshi Kameyama, Oleg Kiselyov, Ikuo Kobori, 2015 .

Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules

Makoto Tatsuta, Yukiyoshi Kameyama, Ken-etsu Fujita, 1995 .

The Next Stage of Staging

Yukiyoshi Kameyama, Oleg Kiselyov, Jun Inoue, 2015 .

Strong Normalization of Polymorphic Calculus for Delimited Continuations

Yukiyoshi Kameyama, Kenichi Asai, 2008 .