Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Kenichi Asai
@inproceedings{DBLP:conf/pepm/CongA23, author = {Youyou Cong and Kenichi Asai}, editor = {Edwin C. Brady and Jens Palsberg}, title = {Towards a Reflection for Effect Handlers}, booktitle = {Proceedings of the 2023 {ACM} {SIGPLAN} International Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2023, Boston, MA, USA, January 16-17, 2023}, pages = {55--65}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3571786.3573015}, doi = {10.1145/3571786.3573015}, timestamp = {Fri, 13 Jan 2023 14:58:59 +0100}, biburl = {https://dblp.org/rec/conf/pepm/CongA23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2305-02852, author = {Chiaki Ishio and Kenichi Asai}, title = {Type System for Four Delimited Control Operators}, journal = {CoRR}, volume = {abs/2305.02852}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2305.02852}, doi = {10.48550/ARXIV.2305.02852}, eprinttype = {arXiv}, eprint = {2305.02852}, timestamp = {Wed, 10 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2305-02852.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/CongIHA22, author = {Youyou Cong and Chiaki Ishio and Kaho Honda and Kenichi Asai}, title = {A Functional Abstraction of Typed Invocation Contexts}, journal = {Log. Methods Comput. Sci.}, volume = {18}, number = {3}, year = {2022}, url = {https://doi.org/10.46298/lmcs-18(3:34)2022}, doi = {10.46298/LMCS-18(3:34)2022}, timestamp = {Tue, 24 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lmcs/CongIHA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpce/IshioA22, author = {Chiaki Ishio and Kenichi Asai}, editor = {Bernhard Scholz and Yukiyoshi Kameyama}, title = {Type System for Four Delimited Control Operators}, booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2022, Auckland, New Zealand, December 6-7, 2022}, pages = {45--58}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3564719.3568691}, doi = {10.1145/3564719.3568691}, timestamp = {Mon, 05 Dec 2022 09:56:37 +0100}, biburl = {https://dblp.org/rec/conf/gpce/IshioA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfp/CongA22, author = {Youyou Cong and Kenichi Asai}, editor = {Wouter Swierstra and Nicolas Wu}, title = {Understanding Algebraic Effect Handlers via Delimited Control Operators}, booktitle = {Trends in Functional Programming - 23rd International Symposium, {TFP} 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13401}, pages = {59--79}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-21314-4\_4}, doi = {10.1007/978-3-031-21314-4\_4}, timestamp = {Sun, 15 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sfp/CongA22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fscd/CongIHA21, author = {Youyou Cong and Chiaki Ishio and Kaho Honda and Kenichi Asai}, editor = {Naoki Kobayashi}, title = {A Functional Abstraction of Typed Invocation Contexts}, booktitle = {6th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference)}, series = {LIPIcs}, volume = {195}, pages = {12:1--12:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.FSCD.2021.12}, doi = {10.4230/LIPICS.FSCD.2021.12}, timestamp = {Tue, 06 Jul 2021 15:26:45 +0200}, biburl = {https://dblp.org/rec/conf/fscd/CongIHA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fscd/FujiiA21, author = {Maika Fujii and Kenichi Asai}, editor = {Naoki Kobayashi}, title = {Derivation of a Virtual Machine For Four Variants of Delimited-Control Operators}, booktitle = {6th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference)}, series = {LIPIcs}, volume = {195}, pages = {16:1--16:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/LIPIcs.FSCD.2021.16}, doi = {10.4230/LIPICS.FSCD.2021.16}, timestamp = {Tue, 06 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fscd/FujiiA21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-07349, author = {Youyou Cong and Chiaki Ishio and Kaho Honda and Kenichi Asai}, title = {A Functional Abstraction of Typed Invocation Contexts}, journal = {CoRR}, volume = {abs/2110.07349}, year = {2021}, url = {https://arxiv.org/abs/2110.07349}, eprinttype = {arXiv}, eprint = {2110.07349}, timestamp = {Fri, 22 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-07349.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Asai19, author = {Kenichi Asai}, editor = {Manuel V. Hermenegildo and Atsushi Igarashi}, title = {Extracting a call-by-name partial evaluator from a proof of termination}, booktitle = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019}, pages = {61--67}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3294032.3294084}, doi = {10.1145/3294032.3294084}, timestamp = {Sun, 25 Jul 2021 11:46:36 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Asai19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfp/IshioA19, author = {Chiaki Ishio and Kenichi Asai}, editor = {William J. Bowman and Ronald Garcia}, title = {Verifying Selective {CPS} Transformation for Shift and Reset}, booktitle = {Trends in Functional Programming - 20th International Symposium, {TFP} 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12053}, pages = {38--57}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-47147-7\_3}, doi = {10.1007/978-3-030-47147-7\_3}, timestamp = {Mon, 11 May 2020 15:57:41 +0200}, biburl = {https://dblp.org/rec/conf/sfp/IshioA19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/CongA18, author = {Youyou Cong and Kenichi Asai}, title = {Handling delimited continuations with dependent types}, journal = {Proc. {ACM} Program. Lang.}, volume = {2}, number = {{ICFP}}, pages = {69:1--69:31}, year = {2018}, url = {https://doi.org/10.1145/3236764}, doi = {10.1145/3236764}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/CongA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/YamadaA18, author = {Urara Yamada and Kenichi Asai}, editor = {Sukyoung Ryu}, title = {Certifying {CPS} Transformation of Let-Polymorphic Calculus Using {PHOAS}}, booktitle = {Programming Languages and Systems - 16th Asian Symposium, {APLAS} 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11275}, pages = {375--393}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-02768-1\_20}, doi = {10.1007/978-3-030-02768-1\_20}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/YamadaA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/AsaiU18, author = {Kenichi Asai and Chihiro Uehara}, editor = {Fritz Henglein and Hsiang{-}Shang Ko}, title = {Selective {CPS} transformation for shift and reset}, booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018}, pages = {40--52}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3162069}, doi = {10.1145/3162069}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/AsaiU18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1906-11422, author = {Tsukino Furukawa and Youyou Cong and Kenichi Asai}, editor = {Peter Achten and Heather Miller}, title = {Stepping OCaml}, booktitle = {Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018}, series = {{EPTCS}}, volume = {295}, pages = {17--34}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.295.2}, doi = {10.4204/EPTCS.295.2}, timestamp = {Tue, 08 Oct 2019 13:24:16 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1906-11422.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1812-10891, editor = {Kenichi Asai and Mark R. Shinwell}, title = {Proceedings {ML} Family Workshop / OCaml Users and Developers workshops, {ML/OCAML} 2016, Nara, Japan, September 22-23, 2016}, series = {{EPTCS}}, volume = {285}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.285}, doi = {10.4204/EPTCS.285}, timestamp = {Fri, 04 Jan 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1812-10891.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cl/GokhaleAS17, author = {Aniruddha S. Gokhale and Kenichi Asai and Ulrik Pagh Schultz}, title = {Special Issue on the 2015 International Conference on Generative Programming: Concepts {\&} Experiences {(GPCE)}}, journal = {Comput. Lang. Syst. Struct.}, volume = {48}, pages = {1--2}, year = {2017}, url = {https://doi.org/10.1016/j.cl.2016.12.001}, doi = {10.1016/J.CL.2016.12.001}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cl/GokhaleAS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/AsaiS17, author = {Kenichi Asai and Konstantinos Sagonas}, title = {Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM'15)}, journal = {Sci. Comput. Program.}, volume = {137}, pages = {1}, year = {2017}, url = {https://doi.org/10.1016/j.scico.2017.02.001}, doi = {10.1016/J.SCICO.2017.02.001}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/AsaiS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Asai16, author = {Kenichi Asai}, editor = {Martin Erwig and Tiark Rompf}, title = {Toward introducing binding-time analysis to MetaOCaml}, booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016}, pages = {97--102}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2847538.2847547}, doi = {10.1145/2847538.2847547}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/Asai16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sycss/AsaiK16, author = {Kenichi Asai and Yukiyoshi Kameyama}, editor = {James H. Davenport and Fadoua Ghourabi}, title = {Automatic Staging via Partial Evaluation Techniques}, booktitle = {7th International Symposium on Symbolic Computation in Software Science, {SCSS} 2016, Tokyo, Japan, March 28-31, 2016}, series = {EPiC Series in Computing}, volume = {39}, pages = {1--13}, publisher = {EasyChair}, year = {2016}, url = {https://doi.org/10.29007/rfbk}, doi = {10.29007/RFBK}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sycss/AsaiK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sycss/CongA16, author = {Youyou Cong and Kenichi Asai}, editor = {James H. Davenport and Fadoua Ghourabi}, title = {Implementing a stepper using delimited continuations}, booktitle = {7th International Symposium on Symbolic Computation in Software Science, {SCSS} 2016, Tokyo, Japan, March 28-31, 2016}, series = {EPiC Series in Computing}, volume = {39}, pages = {42--54}, publisher = {EasyChair}, year = {2016}, url = {https://doi.org/10.29007/l2wb}, doi = {10.29007/L2WB}, timestamp = {Sun, 15 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sycss/CongA16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pepm/2015, editor = {Kenichi Asai and Kostis Sagonas}, title = {Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015}, publisher = {{ACM}}, year = {2015}, url = {http://dl.acm.org/citation.cfm?id=2678015}, isbn = {978-1-4503-3297-2}, timestamp = {Tue, 18 Jul 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpce/Asai14, author = {Kenichi Asai}, editor = {Ulrik Pagh Schultz and Matthew Flatt}, title = {Compiling a reflective language using MetaOCaml}, booktitle = {Generative Programming: Concepts and Experiences, GPCE'14, Vasteras, Sweden, September 15-16, 2014}, pages = {113--122}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2658761.2658775}, doi = {10.1145/2658761.2658775}, timestamp = {Wed, 23 Jun 2021 16:58:51 +0200}, biburl = {https://dblp.org/rec/conf/gpce/Asai14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plpv/HirotaA14, author = {Noriko Hirota and Kenichi Asai}, editor = {Nils Anders Danielsson and Bart Jacobs}, title = {Formalizing a correctness property of a type-directed partial evaluator}, booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} Workshop on Programming Languages meets Program Verification, {PLPV} 2014, January 21, 2014, San Diego, California, USA, Co-located with {POPL} '14}, pages = {41--46}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2541568.2541572}, doi = {10.1145/2541568.2541572}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/plpv/HirotaA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/AsaiFTZ14, author = {Kenichi Asai and Luminous Fennell and Peter Thiemann and Yang Zhang}, editor = {Olaf Chitil and Andy King and Olivier Danvy}, title = {A Type Theoretic Specification of Partial Evaluation}, booktitle = {Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014}, pages = {57--68}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2643135.2643146}, doi = {10.1145/2643135.2643146}, timestamp = {Mon, 23 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/AsaiFTZ14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/IshiiA14, author = {Yuki Ishii and Kenichi Asai}, editor = {James L. Caldwell and Philip K. F. H{\"{o}}lzenspies and Peter Achten}, title = {Report on a User Test and Extension of a Type Debugger for Novice Programmers}, booktitle = {Proceedings 3rd International Workshop on Trends in Functional Programming in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May 2014}, series = {{EPTCS}}, volume = {170}, pages = {1--18}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.170.1}, doi = {10.4204/EPTCS.170.1}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/IshiiA14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/AsaiP13, author = {Kenichi Asai and Benjamin C. Pierce}, title = {Special Issue Dedicated to {ICFP} 2011 Editorial}, journal = {J. Funct. Program.}, volume = {23}, number = {4}, pages = {355--356}, year = {2013}, url = {https://doi.org/10.1017/S0956796813000129}, doi = {10.1017/S0956796813000129}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/AsaiP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/TsushimaA12, author = {Kanae Tsushima and Kenichi Asai}, editor = {Ralf Hinze}, title = {An Embedded Type Debugger}, booktitle = {Implementation and Application of Functional Languages - 24th International Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8241}, pages = {190--206}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-41582-1\_12}, doi = {10.1007/978-3-642-41582-1\_12}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/TsushimaA12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AsaiKS11, author = {Kenichi Asai and Oleg Kiselyov and Chung{-}chieh Shan}, title = {Functional un{\(\vert\)}unparsing}, journal = {High. Order Symb. Comput.}, volume = {24}, number = {4}, pages = {311--340}, year = {2011}, url = {https://doi.org/10.1007/s10990-012-9087-2}, doi = {10.1007/S10990-012-9087-2}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/AsaiKS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gpce/Asai11, author = {Kenichi Asai}, editor = {Ewen Denney and Ulrik Pagh Schultz}, title = {Reflection in direct style}, booktitle = {Generative Programming And Component Engineering, Proceedings of the 10th International Conference on Generative Programming and Component Engineering, {GPCE} 2011, Portland, Oregon, USA, October 22-24, 2011}, pages = {97--106}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2047862.2047882}, doi = {10.1145/2047862.2047882}, timestamp = {Thu, 24 Jun 2021 16:19:31 +0200}, biburl = {https://dblp.org/rec/conf/gpce/Asai11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/SakuraiA10, author = {Kanako Sakurai and Kenichi Asai}, editor = {Mar{\'{\i}}a Alpuente}, title = {MikiBeta : {A} General {GUI} Library for Visualizing Proof Trees - System Description and Demonstration}, booktitle = {Logic-Based Program Synthesis and Transformation - 20th International Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6564}, pages = {84--98}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-20551-4\_6}, doi = {10.1007/978-3-642-20551-4\_6}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/SakuraiA10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/AsaiK10, author = {Kenichi Asai and Arisa Kitani}, editor = {Temur Kutsia and Wolfgang Schreiner and Maribel Fern{\'{a}}ndez}, title = {Functional derivation of a virtual machine for delimited continuations}, booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria}, pages = {87--98}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1836089.1836101}, doi = {10.1145/1836089.1836101}, timestamp = {Tue, 27 Nov 2018 15:52:28 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/AsaiK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/Asai09, author = {Kenichi Asai}, title = {On typing delimited continuations: three new solutions to the printf problem}, journal = {High. Order Symb. Comput.}, volume = {22}, number = {3}, pages = {275--291}, year = {2009}, url = {https://doi.org/10.1007/s10990-009-9049-5}, doi = {10.1007/S10990-009-9049-5}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/Asai09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jsai/BekkiA09, author = {Daisuke Bekki and Kenichi Asai}, editor = {Kumiyo Nakakoji and Yohei Murakami and Eric McCready}, title = {Representing Covert Movements by Delimited Continuations}, booktitle = {New Frontiers in Artificial Intelligence, JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6284}, pages = {161--180}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-14888-0\_16}, doi = {10.1007/978-3-642-14888-0\_16}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/jsai/BekkiA09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aplas/AsaiK07, author = {Kenichi Asai and Yukiyoshi Kameyama}, editor = {Zhong Shao}, title = {Polymorphic Delimited Continuations}, booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007, Singapore, November 29-December 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4807}, pages = {239--254}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76637-7\_16}, doi = {10.1007/978-3-540-76637-7\_16}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/aplas/AsaiK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfp/Asai05, author = {Kenichi Asai}, editor = {Marko C. J. D. van Eekelen}, title = {Logical relations for call-by-value delimited continuations}, booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005}, series = {Trends in Functional Programming}, volume = {6}, pages = {63--78}, publisher = {Intellect}, year = {2005}, timestamp = {Thu, 25 Oct 2007 13:58:58 +0200}, biburl = {https://dblp.org/rec/conf/sfp/Asai05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Asai04, author = {Kenichi Asai}, editor = {Nevin Heintze and Peter Sestoft}, title = {Offline partial evaluation for shift and reset}, booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004}, pages = {3--14}, publisher = {{ACM}}, year = {2004}, url = {https://doi.org/10.1145/1014007.1014009}, doi = {10.1145/1014007.1014009}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/Asai04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Asai02, author = {Kenichi Asai}, editor = {Peter Thiemann}, title = {Online partial evaluation for shift and reset}, booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Semantics-Based Program Manipulation {(PEPM} '02), Portland, Oregon, USA, January 14-15, 2002}, pages = {19--30}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/503032.503034}, doi = {10.1145/503032.503034}, timestamp = {Wed, 07 Jul 2021 17:30:34 +0200}, biburl = {https://dblp.org/rec/conf/pepm/Asai02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pepm/2002a, editor = {Kenichi Asai and Wei{-}Ngan Chin}, title = {Proceedings of the {ACM} {SIGPLAN} {ASIA-PEPM} 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002}, publisher = {{ACM}}, year = {2002}, url = {http://dl.acm.org/citation.cfm?id=568173}, isbn = {1-58113-458-4}, timestamp = {Tue, 22 May 2012 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/2002a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/Asai01, author = {Kenichi Asai}, title = {Binding-time Analysis for Both Static and Dynamic Expressions}, journal = {New Gener. Comput.}, volume = {20}, number = {1}, pages = {27--52}, year = {2001}, url = {https://doi.org/10.1007/BF03037258}, doi = {10.1007/BF03037258}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/Asai01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/saig/Asai01, author = {Kenichi Asai}, editor = {Walid Taha}, title = {Integrating Partial Evaluators into Interpreters}, booktitle = {Semantics, Applications, and Implementation of Program Generation, Second International Workshop, {SAIG} 2001, Florence, Italy, September 6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2196}, pages = {126--145}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44806-3\_8}, doi = {10.1007/3-540-44806-3\_8}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/saig/Asai01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sas/Asai99, author = {Kenichi Asai}, editor = {Agostino Cortesi and Gilberto Fil{\'{e}}}, title = {Binding-Time Analysis for Both Static and Dynamic Expressions}, booktitle = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy, September 22-24, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1694}, pages = {117--133}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48294-6\_8}, doi = {10.1007/3-540-48294-6\_8}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/sas/Asai99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/AsaiMY97, author = {Kenichi Asai and Hidehiko Masuhara and Akinori Yonezawa}, editor = {John P. Gallagher and Charles Consel and A. Michael Berman}, title = {Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects}, booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation and Semantics-Based Program Manipulation {(PEPM} '97), Amsterdam, The Netherlands, June 12-13, 1997}, pages = {12--21}, publisher = {{ACM}}, year = {1997}, url = {https://doi.org/10.1145/258993.258997}, doi = {10.1145/258993.258997}, timestamp = {Thu, 08 Jul 2021 16:04:02 +0200}, biburl = {https://dblp.org/rec/conf/pepm/AsaiMY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/AsaiMY96, author = {Kenichi Asai and Satoshi Matsuoka and Akinori Yonezawa}, title = {Duplication and Partial Evaluation For a Better Understanding of Reflective Languages}, journal = {{LISP} Symb. Comput.}, volume = {9}, number = {2-3}, pages = {203--241}, year = {1996}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lisp/AsaiMY96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codas/AsaiNYN96, author = {Kenichi Asai and Junpei Nishibayashi and Kouji Yoshihara and Motoyasu Nagata}, editor = {Yahiko Kambayashi and Kazumasa Yokota}, title = {Object-Oriented Serializability in Real-Time Concurrency Control}, booktitle = {Proceedings of the International Symposium on Cooperative Database Systems for Advanced Applications, Kyoto, Japan December 5-7, 1996}, pages = {384}, publisher = {World Scientific}, year = {1996}, timestamp = {Fri, 02 Aug 2019 08:43:55 +0200}, biburl = {https://dblp.org/rec/conf/codas/AsaiNYN96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/oopsla/MasuharaMAY95, author = {Hidehiko Masuhara and Satoshi Matsuoka and Kenichi Asai and Akinori Yonezawa}, editor = {Rebecca Wirfs{-}Brock}, title = {Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation}, booktitle = {Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, {OOPSLA} 1995, Austin, Texas, USA, October 15-19, 1995}, pages = {300--315}, publisher = {{ACM}}, year = {1995}, url = {https://doi.org/10.1145/217838.217869}, doi = {10.1145/217838.217869}, timestamp = {Wed, 30 Mar 2022 13:57:45 +0200}, biburl = {https://dblp.org/rec/conf/oopsla/MasuharaMAY95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.