KAMEYAMA Yukiyoshi
- Articles
- Staging beyond terms: prospects and challenges
Jun Inoue; Oleg Kiselyov; Yukiyoshi Kameyama
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation/pp.103-108, 2016-01 - Combinators for Impure yet Hygienic Code Generation
Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan
Science of Computer Programming/112(2)/pp.120-144, 2015-11 - Generate and Offshore: Type-safe and Modular Code Generation for Low-Level Optimization
Naoki Takashima; Hiroki Sakamoto; Yukiyoshi Kameyama
Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing/p.45, 2015-09 - Finally Composing SQL: Extensible and Safe Language-Integrated Query
鈴木 健一; オレッグ、キセリョーフ; 亀山 幸義
Proceedings of the 17th JSSST Workshop on Programming and Programming Languages, 2015-03 - The Next Stage of Staging
Jun Inoue; Oleg Kiselyov; Yukiyoshi Kameyama
Proceedings of the 17th JSSST Workshop on Programming and Programming Languages, 2015-03 - Shonan Challenge for Generative Programming
Baris Aktemur; Kameyama Yukiyoshi; Oleg Kiselyov; Chung-chie...
Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation/pp.147-154, 2013-01 - Combinators for Impure yet Hygienic Code Generation
Yukiyoshi Kameyama; Oleg Kiselyov; Chung-chieh Shan
Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation/pp.3-14, 2014-01 - Constructive Programming in SST
Masahiko Sato; Yukiyoshi Kameyama
Proceedings of the Japanese-Czechoslovak Seminar on Theoretical Foundations of Knowledge Information Science/p.23-30, 1989-01 - Japan Academic Inter-university Network
亀山 幸義
Operations Research/37(12)/p.599-602, 1992-01 - Implementation of a Purely Functional Language Λ with Encapsulated Assignment
山中淳彦; 佐藤雅彦; 亀山幸義
Functional Programming (JSSST2002), Lecture notes/p.201-216, 1994-01 - Conservativeness of Λ over λσ-calculus
Masahiko Sato; Yukiyoshi Kameyama
Lecture Notes in Computer Science/792/p.73-94, 1994-01 - A Type-Free Theory of Half-Monotone Inductive Definitions
Yukiyoshi Kameyama
International Journal of Foundations of Computer Science/6(3)/p.203-234, 1995-01 - A New Formulation of the Catch/Throw Mechanism
Yukiyoshi Kameyama
Proc. Second Fuji International Workshop on Functional and Logic Programming/p.106-122, 1997-01 - A Classical Catch/Throw Calculus with Tag Abstractions and its Strong Normalizability
Yukiyoshi Kameyama; Masahiko Sato
Proc. 4th Australian Theory Symposium/20(3)/p.183-197, 1998-01 - A Type-theoretic Study on Partial Continuations
Yukiyoshi Kameyama
Proceedings of IFIP International Conference on Theoretical Computer Science (Lecture Notes in Computer Science)/1872/p.489-504, 2000-08 - Towards Logical Understanding of Delimited Continuations
Yukiyoshi Kameyama
Proceedings of Third ACM SIGPLAN Workshop on Continuations/p.27-33, 2001-01 - A Type-free Context Calculus
Azza A. Taha; Masahiko Sato; Yukiyoshi Kameyama
Journal of Information Processing Society, Japan/42(1)/p.38-47, 2001-01 - A Simply Typed Context Calculus with First-class Environments
Masahiko Sato; Takafumi Sakurai; Yukiyoshi Kameyama
Proceedings of International Symposium on Functional and Logic Programming (Lecture Notes in Computer Science)/2024/p.359-374, 2001-03 - CAL: A Computer Assisted Learning system for Computation and Logic
Masahiko Sato; Yukiyoshi Kameyama; Takeuti Izumi
Proceedings of EUROCAST2001, Lecture Notes in Computer Science/(2178)/p.509-524, 2001-01 - Strong Normalizability of the Non-deterministic Catch/Throw Calculi
Yukiyoshi Kameyama; Masahiko Sato
Theoretical Computer Science/272(1-2)/p.223-245, 2002-03 - A Simply Typed Context Calculus with First-Class Environments
Masahiko Sato; Takafumi Sakurai; Yukiyoshi Kameyama
Journal of Functional and Logic Programming/(2002(4))/p.1-41, 2002-01 - A Sound and Complete Axiomatization for Delimited Continuations
Yukiyoshi Kameyama; Masahito Hasegawa
Proceedings of the Eigth ACM International Conference on Functional Programming (ICFP '03)/p.pp. 484-497, 2003-08 - Calculi of Meta-Variables
Masahiko Sato; Takafumi Sakurai; Yukiyoshi Kameyama; Atsu...
Proceedings of the 17th International Workshop on Computer Science Logic (CSL'03), Lecture Notes in Computer Science 2803/p.pp. 484-497, 2003-01 - Axiomatizing Higher-Level Delimited Continuations
Yukiyoshi Kameyama
Proceedings of the Fourth ACM-SIGPLAN Continuation Workshop (CW04)/p.49-53, 2004-01 - E-learning of Foundation of Computer Science
Yukiyoshi Kameyama; Masahiko Sato
Prof. AEARU Workshop on Network Weducation/p.169-181, 2006-11 - more...
- Staging beyond terms: prospects and challenges