Kenichi Asai

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