Y
Yukiyoshi Kameyama
Researcher at University of Tsukuba
Publications - 48
Citations - 567
Yukiyoshi Kameyama is an academic researcher from University of Tsukuba. The author has contributed to research in topics: Code generation & Delimited continuation. The author has an hindex of 14, co-authored 48 publications receiving 532 citations. Previous affiliations of Yukiyoshi Kameyama include Tohoku University & Kyoto University.
Papers
More filters
Book ChapterDOI
Polymorphic delimited continuations
Kenichi Asai,Yukiyoshi Kameyama +1 more
TL;DR: This paper presents a polymorphic type system for a language with delimited control operators, shift and reset, and satisfies various important properties, including strong type soundness, existence of principal types and an inference algorithm, and strong normalization.
Proceedings ArticleDOI
A sound and complete axiomatization of delimited continuations
TL;DR: A calculus with control operators is introduced which is as expressive as the calculus with shift and reset, has a sound and complete axiomatization, and is conservative over Sabry and Felleisen's theory for first-class continuations.
Proceedings ArticleDOI
Shifting the stage: staging with delimited control
TL;DR: The first two-level calculus with control effects and a sound type system is introduced, which can finally be written efficient code generators for dynamic programming and numerical methods in direct style, like in algorithm textbooks, rather than in CPS or monadic style.
Proceedings ArticleDOI
Closing the stage: from staged code to typed closures
TL;DR: This paper converts open code to closures with typed environments, establishes a framework in which to study staging with effects and to prototype staged languages, and weakens the typing environment of open code using a term coercion reminiscent of Goedel's translation from intuitionistic to modal logic.
Journal ArticleDOI
Shifting the stage: Staging with delimited control
TL;DR: The first multilevel calculus with control effects and a sound type system is introduced, which can finally write efficient code generators for dynamic programming and numerical methods in direct style, like in algorithm textbooks, rather than in continuation-passing or monadic style.