Kenichi Asai - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2023

Towards a Reflection for Effect HandlersYouyou Cong, Kenichi Asai. PEPM 2023: 55-65 [doi]

2022

Understanding Algebraic Effect Handlers via Delimited Control OperatorsYouyou Cong, Kenichi Asai. sfp 2022: 59-79 [doi]

A Functional Abstraction of Typed Invocation ContextsYouyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai. lmcs, 18(3), 2022. [doi]

Type System for Four Delimited Control OperatorsChiaki Ishio, Kenichi Asai. GPCE 2022: 45-58 [doi]

2021

A Functional Abstraction of Typed Invocation ContextsYouyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai. fscd 2021: [doi]

Derivation of a Virtual Machine For Four Variants of Delimited-Control OperatorsMaika Fujii, Kenichi Asai. fscd 2021: [doi]

2019

Extracting a call-by-name partial evaluator from a proof of terminationKenichi Asai. PEPM 2019: 61-67 [doi]

Verifying Selective CPS Transformation for Shift and ResetChiaki Ishio, Kenichi Asai. sfp 2020: 38-57 [doi]

2018

Selective CPS transformation for shift and resetKenichi Asai, Chihiro Uehara. PEPM 2018: 40-52 [doi]

Handling delimited continuations with dependent typesYouyou Cong, Kenichi Asai. PACMPL, 2(ICFP), 2018. [doi]

Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOASUrara Yamada, Kenichi Asai. aplas 2018: 375-393 [doi]

2017

Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15)Kenichi Asai, Konstantinos F. Sagonas. SCP, 137:1, 2017. [doi]

Special Issue on the 2015 International Conference on Generative Programming: Concepts & Experiences (GPCE)Aniruddha S. Gokhale, Kenichi Asai, Ulrik Pagh Schultz. Comp. Lang., Syst. \& Struct., 48:1-2, 2017. [doi]

2016

Toward introducing binding-time analysis to MetaOCamlKenichi Asai. PEPM 2016: 97-102 [doi]

Automatic Staging via Partial Evaluation TechniquesKenichi Asai, Yukiyoshi Kameyama. sycss 2016: 1-13 [doi]

Implementing a stepper using delimited continuationsYouyou Cong, Kenichi Asai. sycss 2016: 42-54 [doi]

2014

Compiling a reflective language using MetaOCamlKenichi Asai. GPCE 2014: 113-122 [doi]

A Type Theoretic Specification of Partial EvaluationKenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang. ppdp 2014: 57-68 [doi]

Formalizing a correctness property of a type-directed partial evaluatorNoriko Hirota, Kenichi Asai. plpv 2014: 41-46 [doi]

2013

Special Issue Dedicated to ICFP 2011 EditorialKenichi Asai, Benjamin C. Pierce. JFP, 23(4):355-356, 2013. [doi]

2012

An Embedded Type DebuggerKanae Tsushima, Kenichi Asai. IFL 2013: 190-206 [doi]

2011

Reflection in direct styleKenichi Asai. GPCE 2011: 97-106 [doi]

Functional un|unparsingKenichi Asai, Oleg Kiselyov, Chung-chieh Shan. lisp, 24(4):311-340, 2011. [doi]

2010

Functional derivation of a virtual machine for delimited continuationsKenichi Asai, Arisa Kitani. ppdp 2010: 87-98 [doi]

MikiBeta : A General GUI Library for Visualizing Proof Trees - System Description and DemonstrationKanako Sakurai, Kenichi Asai. LOPSTR 2011: 84-98 [doi]

2009

On typing delimited continuations: three new solutions to the printf problemKenichi Asai. lisp, 22(3):275-291, 2009. [doi]

Representing Covert Movements by Delimited ContinuationsDaisuke Bekki, Kenichi Asai. jsai 2010: 161-180 [doi]

2007

Polymorphic Delimited ContinuationsKenichi Asai, Yukiyoshi Kameyama. aplas 2007: 239-254 [doi]

2005

Logical relations for call-by-value delimited continuationsKenichi Asai. sfp 2007: 63-78

2004

Offline partial evaluation for shift and resetKenichi Asai. PEPM 2004: 3-14 [doi]

2002

Online partial evaluation for shift and resetKenichi Asai. PEPM 2002: 19-30 [doi]

2001

Integrating Partial Evaluators into InterpretersKenichi Asai. saig 2001: 126-145 [doi]

Binding-time Analysis for Both Static and Dynamic ExpressionsKenichi Asai. ngc, 20(1):27-52, 2001.

1999

Binding-Time Analysis for Both Static and Dynamic ExpressionsKenichi Asai. SAS 1999: 117-133 [doi]

1997

Partial Evaluation of Call-by-Value lambda-Calculus with Side-EffectsKenichi Asai, Hidehiko Masuhara, Akinori Yonezawa. PEPM 1997: 12-21 [doi]

1996

Object-Oriented Serializability in Real-Time Concurrency ControlKenichi Asai, Junpei Nishibayashi, Kouji Yoshihara, Motoyasu Nagata. codas 1996: 384

Duplication and Partial Evaluation For a Better Understanding of Reflective LanguagesKenichi Asai, Satoshi Matsuoka, Akinori Yonezawa. lisp, 9(2-3):203-241, 1996.

1995

Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial EvaluationHidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa. OOPSLA 1995: 300-315

Sign in or sign up to see more results.

runs on WebDSL