Kameyama, Yukiyoshi - Department of Computer Science, University of Tsukuba

Advanced Search

Kameyama, Yukiyoshi - Department of Computer Science, University of Tsukuba

Shifting the Stage Staging with Delimited Control
Strong Normalization of Polymorphic Calculus for Delimited Continuations
A Direct Algorithm for Multi-Valued Bounded Model Checking
Vol. 48 No. SIG 0(PRO 34) 2007 shift/reset
Axioms for Delimited Continuations in the CPS Hierarchy
Dynamic Control Operators in Type Theory Yukiyoshi Kameyama
8. C. PaulinMohring, ``Extracting F! 's programs from proofs in the calculus of con struction'', Proc. 16th Annual ACM Symposium in Principles of Programming Lan
Axiomatizing Higher Level Delimited Continuation Yukiyoshi Kameyama
Polymorphic Delimited Continuations Kenichi Asai1
A simply typed context calculus with rst-class environments
CAL: A Computer Assisted Learning system for Computation and Logic
Towards Logical Understanding of Delimited Continuations
Strong Normalizability of the Non-deterministic Catch/Throw Calculi Yukiyoshi Kameyama a and Masahiko Sato b
[13] Sato, M. Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules. Theoretical Computer Science, to appear.
Calculi of Meta-variables Masahiko Sato 1 , Takafumi Sakurai 2 , Yukiyoshi Kameyama 3 , and
E-Learning of Foundation of Computer Science Yukiyoshi Kameyama1
Equational Axiomatization of Call-by-Name Delimited Control
A Type-theoretic Study on Partial Continuations Yukiyoshi Kameyama
A Sound and Complete Axiomatization of Delimited Continuations
Vol. 0 No. 0 IPSJ Journal 1959 Regular Paper
Axioms for Control Operators in the CPS Hierarchy Yukiyoshi Kameyama kameyama@acm.org
Typed Dynamic Control Operators for Delimited Continuations
Closing the Stage From Staged Code to Typed Closures
Polymorphic Multi-Stage Language with Control Effects Yuichiro Kokaji and Yukiyoshi Kameyama