BibTeX records: Kenichi Asai

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics