default search action
Kenichi Asai
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c31]Youyou Cong, Kenichi Asai:
Towards a Reflection for Effect Handlers. PEPM@POPL 2023: 55-65 - [i2]Chiaki Ishio, Kenichi Asai:
Type System for Four Delimited Control Operators. CoRR abs/2305.02852 (2023) - 2022
- [j9]Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai:
A Functional Abstraction of Typed Invocation Contexts. Log. Methods Comput. Sci. 18(3) (2022) - [c30]Chiaki Ishio, Kenichi Asai:
Type System for Four Delimited Control Operators. GPCE 2022: 45-58 - [c29]Youyou Cong
, Kenichi Asai
Understanding Algebraic Effect Handlers via Delimited Control Operators. TFP 2022: 59-79 - 2021
- [c28]Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai:
A Functional Abstraction of Typed Invocation Contexts. FSCD 2021: 12:1-12:18 - [c27]Maika Fujii, Kenichi Asai:
Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators. FSCD 2021: 16:1-16:19 - [i1]Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai:
A Functional Abstraction of Typed Invocation Contexts. CoRR abs/2110.07349 (2021)
2010 – 2019
- 2019
- [c26]Kenichi Asai:
Extracting a call-by-name partial evaluator from a proof of termination. PEPM@POPL 2019: 61-67 - [c25]Chiaki Ishio, Kenichi Asai:
Verifying Selective CPS Transformation for Shift and Reset. TFP 2019: 38-57 - 2018
- [j8]Youyou Cong, Kenichi Asai:
Handling delimited continuations with dependent types. Proc. ACM Program. Lang. 2(ICFP): 69:1-69:31 (2018) - [c24]Urara Yamada, Kenichi Asai:
Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS. APLAS 2018: 375-393 - [c23]Kenichi Asai, Chihiro Uehara:
Selective CPS transformation for shift and reset. PEPM 2018: 40-52 - [c22]Tsukino Furukawa, Youyou Cong, Kenichi Asai:
Stepping OCaml. TFPIE@TFP 2018: 17-34 - [e3]Kenichi Asai, Mark R. Shinwell:
Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016. EPTCS 285, 2018 [contents] - 2017
- [j7]Aniruddha S. Gokhale
Special Issue on the 2015 International Conference on Generative Programming: Concepts & Experiences (GPCE). Comput. Lang. Syst. Struct. 48: 1-2 (2017) - [j6]Kenichi Asai, Konstantinos Sagonas
Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15). Sci. Comput. Program. 137: 1 (2017) - 2016
- [c21]Kenichi Asai:
Toward introducing binding-time analysis to MetaOCaml. PEPM 2016: 97-102 - [c20]Kenichi Asai, Yukiyoshi Kameyama:
Automatic Staging via Partial Evaluation Techniques. SCSS 2016: 1-13 - [c19]Youyou Cong, Kenichi Asai:
Implementing a stepper using delimited continuations. SCSS 2016: 42-54 - 2015
- [e2]Kenichi Asai, Kostis Sagonas:
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. ACM 2015, ISBN 978-1-4503-3297-2 [contents] - 2014
- [c18]Kenichi Asai:
Compiling a reflective language using MetaOCaml. GPCE 2014: 113-122 - [c17]Noriko Hirota, Kenichi Asai:
Formalizing a correctness property of a type-directed partial evaluator. PLPV 2014: 41-46 - [c16]Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang:
A Type Theoretic Specification of Partial Evaluation. PPDP 2014: 57-68 - [c15]Yuki Ishii, Kenichi Asai:
Report on a User Test and Extension of a Type Debugger for Novice Programmers. TFPIE 2014: 1-18 - 2013
- [j5]Kenichi Asai, Benjamin C. Pierce:
Special Issue Dedicated to ICFP 2011 Editorial. J. Funct. Program. 23(4): 355-356 (2013) - 2012
- [c14]Kanae Tsushima, Kenichi Asai:
An Embedded Type Debugger. IFL 2012: 190-206 - 2011
- [j4]Kenichi Asai, Oleg Kiselyov, Chung-chieh Shan:
Functional un|unparsing. High. Order Symb. Comput. 24(4): 311-340 (2011) - [c13]Kenichi Asai:
Reflection in direct style. GPCE 2011: 97-106 - 2010
- [c12]Kanako Sakurai, Kenichi Asai:
MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and Demonstration. LOPSTR 2010: 84-98 - [c11]Kenichi Asai, Arisa Kitani:
Functional derivation of a virtual machine for delimited continuations. PPDP 2010: 87-98
2000 – 2009
- 2009
- [j3]Kenichi Asai:
On typing delimited continuations: three new solutions to the printf problem. High. Order Symb. Comput. 22(3): 275-291 (2009) - [c10]Daisuke Bekki, Kenichi Asai:
Representing Covert Movements by Delimited Continuations. JSAI-isAI Workshops 2009: 161-180 - 2007
- [c9]Kenichi Asai, Yukiyoshi Kameyama:
Polymorphic Delimited Continuations. APLAS 2007: 239-254 - 2005
- [c8]Kenichi Asai:
Logical relations for call-by-value delimited continuations. Trends in Functional Programming 2005: 63-78 - 2004
- [c7]Kenichi Asai:
Offline partial evaluation for shift and reset. PEPM 2004: 3-14 - 2002
- [c6]Kenichi Asai:
Online partial evaluation for shift and reset. PEPM 2002: 19-30 - [e1]Kenichi Asai, Wei-Ngan Chin:
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002. ACM 2002, ISBN 1-58113-458-4 [contents] - 2001
- [j2]Kenichi Asai:
Binding-time Analysis for Both Static and Dynamic Expressions. New Gener. Comput. 20(1): 27-52 (2001) - [c5]Kenichi Asai:
Integrating Partial Evaluators into Interpreters. SAIG 2001: 126-145
1990 – 1999
- 1999
- [c4]Kenichi Asai:
Binding-Time Analysis for Both Static and Dynamic Expressions. SAS 1999: 117-133 - 1997
- [c3]Kenichi Asai, Hidehiko Masuhara, Akinori Yonezawa:
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects. PEPM 1997: 12-21 - 1996
- [j1]Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa:
Duplication and Partial Evaluation For a Better Understanding of Reflective Languages. LISP Symb. Comput. 9(2-3): 203-241 (1996) - [c2]Kenichi Asai, Junpei Nishibayashi, Kouji Yoshihara, Motoyasu Nagata:
Object-Oriented Serializability in Real-Time Concurrency Control. CODAS 1996: 384- - 1995
- [c1]Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa:
Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation. OOPSLA 1995: 300-315
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: