Kenichi Asai

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 19

Top Topics

Control Structures

Novice Programmers

Top Venues

Publications

Youyou Cong, Kenichi Asai
Towards a Reflection for Effect Handlers. PEPM@POPL (2023)
Chiaki Ishio, Kenichi Asai
Type System for Four Delimited Control Operators. CoRR (2023)
Chiaki Ishio, Kenichi Asai
Type System for Four Delimited Control Operators. GPCE (2022)
Youyou Cong, Kenichi Asai
Understanding Algebraic Effect Handlers via Delimited Control Operators. TFP (2022)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. Log. Methods Comput. Sci. 18 (3) (2022)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. CoRR (2021)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. FSCD (2021)
Maika Fujii, Kenichi Asai
Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators. FSCD (2021)
Kenichi Asai
Extracting a call-by-name partial evaluator from a proof of termination. PEPM@POPL (2019)
Chiaki Ishio, Kenichi Asai
Verifying Selective CPS Transformation for Shift and Reset. TFP (2019)
Urara Yamada, Kenichi Asai
Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. APLAS (2018)
Kenichi Asai, Chihiro Uehara
Selective CPS transformation for shift and reset. PEPM (2018)
Youyou Cong, Kenichi Asai
Handling delimited continuations with dependent types. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Tsukino Furukawa, Youyou Cong, Kenichi Asai
Stepping OCaml. TFPIE@TFP (2018)
Aniruddha S. Gokhale, Kenichi Asai, Ulrik Pagh Schultz
Special Issue on the 2015 International Conference on Generative Programming: Concepts & Experiences (GPCE). Comput. Lang. Syst. Struct. 48 (2017)
Kenichi Asai, Konstantinos Sagonas
Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15). Sci. Comput. Program. 137 (2017)
Youyou Cong, Kenichi Asai
Implementing a stepper using delimited continuations. SCSS (2016)
Kenichi Asai, Yukiyoshi Kameyama
Automatic Staging via Partial Evaluation Techniques. SCSS (2016)
Kenichi Asai
Toward introducing binding-time analysis to MetaOCaml. PEPM (2016)
Noriko Hirota, Kenichi Asai
Formalizing a correctness property of a type-directed partial evaluator. PLPV (2014)
Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang
A Type Theoretic Specification of Partial Evaluation. PPDP (2014)
Kenichi Asai
Compiling a reflective language using MetaOCaml. GPCE (2014)
Yuki Ishii, Kenichi Asai
Report on a User Test and Extension of a Type Debugger for Novice Programmers. TFPIE (2014)
Kenichi Asai, Benjamin C. Pierce
Special Issue Dedicated to ICFP 2011 Editorial. J. Funct. Program. 23 (4) (2013)
Kanae Tsushima, Kenichi Asai
An Embedded Type Debugger. IFL (2012)
Kenichi Asai
Reflection in direct style. GPCE (2011)
Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan
Functional un|unparsing. High. Order Symb. Comput. 24 (4) (2011)
Kenichi Asai, Arisa Kitani
Functional derivation of a virtual machine for delimited continuations. PPDP (2010)
Kanako Sakurai, Kenichi Asai
MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration. LOPSTR (2010)
Daisuke Bekki, Kenichi Asai
Representing Covert Movements by Delimited Continuations. JSAI-isAI Workshops (2009)
Kenichi Asai
On typing delimited continuations: three new solutions to the printf problem. High. Order Symb. Comput. 22 (3) (2009)
Kenichi Asai, Yukiyoshi Kameyama
Polymorphic Delimited Continuations. APLAS (2007)
Kenichi Asai
Logical relations for call-by-value delimited continuations. Trends in Functional Programming (2005)
Kenichi Asai
Offline partial evaluation for shift and reset. PEPM (2004)
Kenichi Asai
Online partial evaluation for shift and reset. PEPM (2002)
Kenichi Asai
Binding-time Analysis for Both Static and Dynamic Expressions. New Gener. Comput. 20 (1) (2001)
Kenichi Asai
Integrating Partial Evaluators into Interpreters. SAIG (2001)
Kenichi Asai
Binding-Time Analysis for Both Static and Dynamic Expressions. SAS (1999)
Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. PEPM (1997)
Kenichi Asai, Junpei Nishibayashi, Kouji Yoshihara, Motoyasu Nagata
Object-Oriented Serializability in Real-Time Concurrency Control. CODAS (1996)
Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa
Duplication and Partial Evaluation For a Better Understanding of Reflective Languages. LISP Symb. Comput. 9 (2-3) (1996)
Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa
Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation. OOPSLA (1995)