Kenichi Asai

According to our database, Kenichi Asai authored at least 38 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards a Reflection for Effect Handlers.

Youyou Cong, Kenichi Asai

Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2023

2022

A Functional Abstraction of Typed Invocation Contexts.

Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai

Log. Methods Comput. Sci., 2022

Understanding Algebraic Effect Handlers via Delimited Control Operators.

Youyou Cong, Kenichi Asai

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

Type System for Four Delimited Control Operators.

Chiaki Ishio, Kenichi Asai

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

2021

Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators.

Maika Fujii, Kenichi Asai

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2019

Verifying Selective CPS Transformation for Shift and Reset.

Chiaki Ishio, Kenichi Asai

Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019

Extracting a call-by-name partial evaluator from a proof of termination.

Kenichi Asai

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2019

2018

Handling delimited continuations with dependent types.

Youyou Cong, Kenichi Asai

Proc. ACM Program. Lang., 2018

Stepping OCaml.

Tsukino Furukawa, Youyou Cong, Kenichi Asai

Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018

Selective CPS transformation for shift and reset.

Kenichi Asai, Chihiro Uehara

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS.

Urara Yamada, Kenichi Asai

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15).

Kenichi Asai, Konstantinos Sagonas

Sci. Comput. Program., 2017

Special Issue on the 2015 International Conference on Generative Programming: Concepts & Experiences (GPCE).

Aniruddha S. Gokhale, Kenichi Asai, Ulrik Pagh Schultz

Comput. Lang. Syst. Struct., 2017

2016

Implementing a stepper using delimited continuations.

Youyou Cong, Kenichi Asai

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Automatic Staging via Partial Evaluation Techniques.

Kenichi Asai, Yukiyoshi Kameyama

Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016

Toward introducing binding-time analysis to MetaOCaml.

Kenichi Asai

Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016

2014

Report on a User Test and Extension of a Type Debugger for Novice Programmers.

Yuki Ishii, Kenichi Asai

Proceedings of the Proceedings 3rd International Workshop on Trends in Functional Programming in Education, 2014

A Type Theoretic Specification of Partial Evaluation.

Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Formalizing a correctness property of a type-directed partial evaluator.

Noriko Hirota, Kenichi Asai

Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, 2014

Compiling a reflective language using MetaOCaml.

Kenichi Asai

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Special Issue Dedicated to ICFP 2011 Editorial.

Kenichi Asai, Benjamin C. Pierce

J. Funct. Program., 2013

2012

An Embedded Type Debugger.

Kanae Tsushima, Kenichi Asai

Proceedings of the Implementation and Application of Functional Languages, 2012

2011

Functional un|unparsing.

Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan

High. Order Symb. Comput., 2011

Reflection in direct style.

Kenichi Asai

Proceedings of the Generative Programming And Component Engineering, 2011

2010

Functional derivation of a virtual machine for delimited continuations.

Kenichi Asai, Arisa Kitani

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration.

Kanako Sakurai, Kenichi Asai

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2009

On typing delimited continuations: three new solutions to the printf problem.

Kenichi Asai

High. Order Symb. Comput., 2009

Representing Covert Movements by Delimited Continuations.

Daisuke Bekki, Kenichi Asai

Proceedings of the New Frontiers in Artificial Intelligence, 2009

2007

Polymorphic Delimited Continuations.

Kenichi Asai, Yukiyoshi Kameyama

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2005

Logical relations for call-by-value delimited continuations.

Kenichi Asai

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2004

Offline partial evaluation for shift and reset.

Kenichi Asai

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2002

Online partial evaluation for shift and reset.

Kenichi Asai

Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), 2002

2001

Binding-time Analysis for Both Static and Dynamic Expressions.

Kenichi Asai

New Gener. Comput., 2001

Integrating Partial Evaluators into Interpreters.

Kenichi Asai

Proceedings of the Semantics, 2001

1997

Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.

Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

1996

Duplication and Partial Evaluation For a Better Understanding of Reflective Languages.

Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa

LISP Symb. Comput., 1996

Object-Oriented Serializability in Real-Time Concurrency Control.

Kenichi Asai, Junpei Nishibayashi, Kouji Yoshihara, Motoyasu Nagata

Proceedings of the International Symposium on Cooperative Database Systems for Advanced Applications, 1996

1995

Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation.

Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995