KAMEYAMA Yukiyoshi

Researcher's full information

Articles

• Formal Semantics and Implementation of Dynamic Environments and Delimited Continuations
  田中 陽; 亀山 幸義
  情報処理学会論文誌. プログラミング/48(12)/p.67, 2007-08
  
  CiNii
• The Design and an Implementation of Pattern C++
  佐々木 卓; 亀山 幸義
  情報処理学会論文誌. プログラミング/48(12)/p.68, 2007-08
  
  CiNii
• A Type System for Dynamic Delimited Continuations
  Yonezawa Takuo; Kameyama Yukiyoshi
  IPSJ Digital Courier/4(0)/pp.182-192, 2008-01
  
  CiNii
• A Type System for Dynamic Delimited Continuations
  Yonezawa Takuo; Kameyama Yukiyoshi
  Information and Media Technologies/3(2)/pp.316-326, 2008-01
  
  CiNii
• 1Q-5 Implementation of a Calculus for Multi-stage programming
  杉浦 啓介; 亀山 幸義
  全国大会講演論文集/70(1)/p.303, 2008-03
  
  CiNii
• A Type System for Dynamic Delimited Continuations
  YONEZAWA TAKUO; KAMEYAMA YUKIYOSHI
  情報処理学会論文誌. プログラミング/49(3)/pp.28-38, 2008-03
  
  CiNii
• FOREWORD
  KAMEYAMA Yukiyoshi
  IEICE Transactions on Information and Systems/92(5)/pp.971-971, 2009-01
  
  CiNii
• Improving Error Messages in Type System
  Kustanto Cynthia; Kameyama Yukiyoshi
  Information and Media Technologies/5(4)/pp.1241-1254, 2010-01
  
  CiNii
• Scalable Web Application Framework based on Delimited Continuation
  田中 麻峰; 亀山 幸義
  Technical report of IEICE. SS/109(456)/pp.163-168, 2010-03
  
  CiNii
• Improving Error Messages in Type System
  Cynthia Kustanto; Yukiyoshi Kameyama
  IPSJ Online Transactions/3(4)/pp.43-56, 2010-09
  
  CiNii
• Special Section on Formal Approach FOREWORD
  Kameyama Yukiyoshi
  IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS/E92D(5)/pp.971-971, 2009-05