KAMEYAMA Yukiyoshi

Researcher's full information

Conference, etc.

• Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators
  Ikuo Kobori; Kameyama Yukiyoshi
  Workshop on Continuations 2015/2015-01-22--2015-01-22
• Discovery of Modeling Errors using Multi-Valued Model Checking
  辰己淳朗; 亀山幸義
  IPSJ SIG-PRO Research Meeting____/2006-01
• Typed Multi-Stage Language with Control Effect and Code Execution
  杉浦啓介; 亀山幸義
  JSSST 26th Conference____/2009-09
• Scalable Web Application Framework based on Delimited Continuation
  田中麻峰; 亀山幸義
  ____/2010-03
• Improving Error Message in Type System
  Cynthia Kustanto; Yukiyoshi Kameyama
  ____/2010-03
• Typed dynamic control operators for delimited continuations
  Kameyama Yukiyoshi; Yonezawa Takuo
  9th International Symposium on Functional and Logic Programming/2008-04-14--2008-04-16
• A Direct Algorithm for Multi-valued Bounded Model Checking
  Andrade Jefferson O.; Kameyama Yukiyoshi
  6th International Symposium on Automated Technology for Verification and Analysis/2008-10-20--2008-10-23