@inproceedings{Kiselyov10,
  title = {Delimited Control in OCaml, Abstractly and Concretely: System Description},
  author = {Oleg Kiselyov},
  year = {2010},
  doi = {10.1007/978-3-642-12251-4_22},
  url = {http://dx.doi.org/10.1007/978-3-642-12251-4_22},
  tags = {control systems},
  researchr = {https://researchr.org/publication/Kiselyov10},
  cites = {0},
  citedby = {0},
  pages = {304-320},
  booktitle = {Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings},
  editor = {Matthias Blume and Naoki Kobayashi and Germán Vidal},
  volume = {6009},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12250-7},
}

@inproceedings{KiselyovSS13,
  title = {Extensible effects: an alternative to monad transformers},
  author = {Oleg Kiselyov and Amr Sabry and Cameron Swords},
  year = {2013},
  doi = {10.1145/2503778.2503791},
  url = {http://doi.acm.org/10.1145/2503778.2503791},
  researchr = {https://researchr.org/publication/KiselyovSS13},
  cites = {0},
  citedby = {0},
  pages = {59-70},
  booktitle = {Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013},
  editor = {Chung-chieh Shan},
  publisher = {ACM},
  isbn = {978-1-4503-2383-3},
}

@inproceedings{PimlottK06,
  title = {Soutei, a Logic-Based Trust-Management System},
  author = {Andrew Pimlott and Oleg Kiselyov},
  year = {2006},
  doi = {10.1007/11737414_10},
  url = {http://dx.doi.org/10.1007/11737414_10},
  tags = {rule-based, logic},
  researchr = {https://researchr.org/publication/PimlottK06},
  cites = {0},
  citedby = {0},
  pages = {130-145},
  booktitle = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  editor = {Masami Hagiya and Philip Wadler},
  volume = {3945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33438-6},
}

@article{Kiselyov12-0,
  title = {Delimited control in OCaml, abstractly and concretely},
  author = {Oleg Kiselyov},
  year = {2012},
  doi = {10.1016/j.tcs.2012.02.025},
  url = {http://dx.doi.org/10.1016/j.tcs.2012.02.025},
  researchr = {https://researchr.org/publication/Kiselyov12-0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {435},
  pages = {56-76},
}

@inproceedings{KiselyovLS04,
  title = {Strongly typed heterogeneous collections},
  author = {Oleg Kiselyov and Ralf Lämmel and Keean Schupke},
  year = {2004},
  doi = {10.1145/1017472.1017488},
  url = {http://doi.acm.org/10.1145/1017472.1017488},
  researchr = {https://researchr.org/publication/KiselyovLS04},
  cites = {0},
  citedby = {0},
  pages = {96-107},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004},
  editor = {Henrik Nilsson},
  publisher = {ACM},
}

@inproceedings{Kiselyov15,
  title = {Applicative Abstract Categorial Grammar},
  author = {Oleg Kiselyov},
  year = {2015},
  url = {http://www.easychair.org/publications/paper/Applicative_Abstract_Categorial_Grammar},
  researchr = {https://researchr.org/publication/Kiselyov15},
  cites = {0},
  citedby = {0},
  pages = {29-38},
  booktitle = {Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015},
  editor = {Makoto Kanazawa and Lawrence S. Moss and Valeria de Paiva},
  volume = {32},
  series = {EPiC Series in Computing},
  publisher = {EasyChair},
}

@inproceedings{Kiselyov98a,
  title = {Functional Style in C++: Closures, Late Binding, and Lambda Abstractions},
  author = {Oleg Kiselyov},
  year = {1998},
  doi = {10.1145/289423.289464},
  url = {http://doi.acm.org/10.1145/289423.289464},
  tags = {C++, abstraction},
  researchr = {https://researchr.org/publication/Kiselyov98a},
  cites = {0},
  citedby = {0},
  pages = {337},
  booktitle = {ICFP},
}

@article{KiselyovMS21,
  title = {Not by equations alone: Reasoning with extensible effects},
  author = {Oleg Kiselyov and Shin-Cheng Mu and Amr Sabry},
  year = {2021},
  doi = {10.1017/S0956796820000271},
  url = {https://doi.org/10.1017/S0956796820000271},
  researchr = {https://researchr.org/publication/KiselyovMS21},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {31},
}

@inproceedings{Kiselyov17,
  title = {Transformational Semantics on a Tree Bank},
  author = {Oleg Kiselyov},
  year = {2017},
  doi = {10.1007/978-3-319-93794-6_17},
  url = {https://doi.org/10.1007/978-3-319-93794-6_17},
  researchr = {https://researchr.org/publication/Kiselyov17},
  cites = {0},
  citedby = {0},
  pages = {241-252},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, Japan, November 13-15, 2017, Revised Selected Papers},
  editor = {Sachiyo Arai and Kazuhiro Kojima and Koji Mineshima and Daisuke Bekki and Ken Satoh and Yuiko Ohta},
  volume = {10838},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-93794-6},
}

@inproceedings{KiselyovKS16,
  title = {Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells},
  author = {Oleg Kiselyov and Yukiyoshi Kameyama and Yuto Sudo},
  year = {2016},
  doi = {10.1007/978-3-319-47958-3_15},
  url = {http://dx.doi.org/10.1007/978-3-319-47958-3_15},
  researchr = {https://researchr.org/publication/KiselyovKS16},
  cites = {0},
  citedby = {0},
  pages = {271-291},
  booktitle = {Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  editor = {Atsushi Igarashi},
  volume = {10017},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-47957-6},
}

@inproceedings{Kiselyov14-0,
  title = {Canonical Constituents and Non-canonical Coordination - Simple Categorial Grammar Account},
  author = {Oleg Kiselyov},
  year = {2014},
  doi = {10.1007/978-3-662-48119-6_8},
  url = {http://dx.doi.org/10.1007/978-3-662-48119-6_8},
  researchr = {https://researchr.org/publication/Kiselyov14-0},
  cites = {0},
  citedby = {0},
  pages = {99-113},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers},
  editor = {Tsuyoshi Murata and Koji Mineshima and Daisuke Bekki},
  volume = {9067},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-48118-9},
}

@inproceedings{KiselyovI20,
  title = {Session Types Without Sophistry - System Description},
  author = {Oleg Kiselyov and Keigo Imai},
  year = {2020},
  doi = {10.1007/978-3-030-59025-3_5},
  url = {https://doi.org/10.1007/978-3-030-59025-3_5},
  researchr = {https://researchr.org/publication/KiselyovI20},
  cites = {0},
  citedby = {0},
  pages = {66-87},
  booktitle = {Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings},
  editor = {Keisuke Nakano and Konstantinos Sagonas},
  volume = {12073},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-59025-3},
}

@inproceedings{KiselyovS07:0,
  title = {A Substructural Type System for Delimited Continuations},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2007},
  doi = {10.1007/978-3-540-73228-0_17},
  url = {http://dx.doi.org/10.1007/978-3-540-73228-0_17},
  tags = {type system},
  researchr = {https://researchr.org/publication/KiselyovS07%3A0},
  cites = {0},
  citedby = {0},
  pages = {223-239},
  booktitle = {Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings},
  editor = {Simona Ronchi Della Rocca},
  volume = {4583},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73227-3},
}

@inproceedings{KiselyovS04,
  title = {Functional pearl: implicit configurations-or, type classes reflect the values of types},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2004},
  doi = {10.1145/1017472.1017481},
  url = {http://doi.acm.org/10.1145/1017472.1017481},
  researchr = {https://researchr.org/publication/KiselyovS04},
  cites = {0},
  citedby = {0},
  pages = {33-44},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Snowbird, UT, USA, September 22-22, 2004},
  editor = {Henrik Nilsson},
  publisher = {ACM},
}

@article{KameyamaKS11,
  title = {Shifting the stage - Staging with delimited control},
  author = {Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
  year = {2011},
  doi = {10.1017/S0956796811000256},
  url = {http://dx.doi.org/10.1017/S0956796811000256},
  researchr = {https://researchr.org/publication/KameyamaKS11},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {21},
  number = {6},
  pages = {617-662},
}

@inproceedings{KiselyovI15,
  title = {Freer monads, more extensible effects},
  author = {Oleg Kiselyov and Hiromi Ishii},
  year = {2015},
  doi = {10.1145/2804302.2804319},
  url = {http://doi.acm.org/10.1145/2804302.2804319},
  researchr = {https://researchr.org/publication/KiselyovI15},
  cites = {0},
  citedby = {0},
  pages = {94-105},
  booktitle = {Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015},
  editor = {Ben Lippmeier},
  publisher = {ACM},
  isbn = {978-1-4503-3808-0},
}

@article{Kiselyov02-0,
  title = {SXML specification},
  author = {Oleg Kiselyov},
  year = {2002},
  doi = {10.1145/571727.571736},
  url = {http://doi.acm.org/10.1145/571727.571736},
  researchr = {https://researchr.org/publication/Kiselyov02-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {37},
  number = {6},
  pages = {52-58},
}

@inproceedings{RodriguezJJGKO08,
  title = {Comparing libraries for generic programming in haskell},
  author = {Alexey Rodriguez and Johan  Jeuring and Patrik Jansson and Alex Gerdes and Oleg Kiselyov and Bruno C. d. S. Oliveira},
  year = {2008},
  doi = {10.1145/1411286.1411301},
  url = {http://doi.acm.org/10.1145/1411286.1411301},
  tags = {laziness, programming languages, generic programming, functional programming, testing, Haskell, C++, programming, systematic-approach},
  researchr = {https://researchr.org/publication/RodriguezJJGKO08},
  cites = {0},
  citedby = {0},
  pages = {111-122},
  booktitle = {Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008},
  editor = {Andy Gill},
  publisher = {ACM},
  isbn = {978-1-60558-064-7},
}

@article{KameyamaKS15,
  title = {Combinators for impure yet hygienic code generation},
  author = {Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
  year = {2015},
  doi = {10.1016/j.scico.2015.08.007},
  url = {http://dx.doi.org/10.1016/j.scico.2015.08.007},
  researchr = {https://researchr.org/publication/KameyamaKS15},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {112},
  pages = {120-144},
}

@inproceedings{KiselyovST04,
  title = {A methodology for generating verified combinatorial circuits},
  author = {Oleg Kiselyov and Kedar N. Swadi and Walid Taha},
  year = {2004},
  doi = {10.1145/1017753.1017794},
  url = {http://doi.acm.org/10.1145/1017753.1017794},
  researchr = {https://researchr.org/publication/KiselyovST04},
  cites = {0},
  citedby = {0},
  pages = {249-258},
  booktitle = {EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings},
  editor = {Giorgio C. Buttazzo},
  publisher = {ACM},
  isbn = {1-58113-860-1},
}

@inproceedings{Kiselyov16-0,
  title = {Probabilistic Programming Language and its Incremental Evaluation},
  author = {Oleg Kiselyov},
  year = {2016},
  doi = {10.1007/978-3-319-47958-3_19},
  url = {http://dx.doi.org/10.1007/978-3-319-47958-3_19},
  researchr = {https://researchr.org/publication/Kiselyov16-0},
  cites = {0},
  citedby = {0},
  pages = {357-376},
  booktitle = {Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
  editor = {Atsushi Igarashi},
  volume = {10017},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-47957-6},
}

@inproceedings{AktemurKKS13,
  title = {Shonan challenge for generative programming: short position paper},
  author = {Baris Aktemur and Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
  year = {2013},
  doi = {10.1145/2426890.2426917},
  url = {http://doi.acm.org/10.1145/2426890.2426917},
  researchr = {https://researchr.org/publication/AktemurKKS13},
  cites = {0},
  citedby = {0},
  pages = {147-154},
  booktitle = {Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013},
  editor = {Elvira Albert and Shin-Cheng Mu},
  publisher = {ACM},
  isbn = {978-1-4503-1842-6},
}

@inproceedings{KiselyovSS06,
  title = {Delimited dynamic binding},
  author = {Oleg Kiselyov and Chung-chieh Shan and Amr Sabry},
  year = {2006},
  doi = {10.1145/1159803.1159808},
  url = {http://doi.acm.org/10.1145/1159803.1159808},
  researchr = {https://researchr.org/publication/KiselyovSS06},
  cites = {0},
  citedby = {0},
  pages = {26-37},
  booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006},
  editor = {John H. Reppy and Julia L. Lawall},
  publisher = {ACM},
  isbn = {1-59593-309-3},
}

@article{CaretteK11,
  title = {Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code},
  author = {Jacques Carette and Oleg Kiselyov},
  year = {2011},
  doi = {10.1016/j.scico.2008.09.008},
  url = {http://dx.doi.org/10.1016/j.scico.2008.09.008},
  tags = {generic programming, programming, abstraction},
  researchr = {https://researchr.org/publication/CaretteK11},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {76},
  number = {5},
  pages = {349-375},
}

@inproceedings{Kiselyov16-1,
  title = {Non-canonical Coordination in the Transformational Approach},
  author = {Oleg Kiselyov},
  year = {2016},
  doi = {10.1007/978-3-319-61572-1_3},
  url = {https://doi.org/10.1007/978-3-319-61572-1_3},
  researchr = {https://researchr.org/publication/Kiselyov16-1},
  cites = {0},
  citedby = {0},
  pages = {33-44},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers},
  editor = {Setsuya Kurahashi and Yuiko Ohta and Sachiyo Arai and Ken Satoh and Daisuke Bekki},
  volume = {10247},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-61572-1},
}

@article{Kiselyov05,
  title = {Implementing Metcast in Scheme},
  author = {Oleg Kiselyov},
  year = {2005},
  doi = {10.1007/s10990-005-4880-9},
  url = {http://dx.doi.org/10.1007/s10990-005-4880-9},
  researchr = {https://researchr.org/publication/Kiselyov05},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {18},
  number = {3-4},
  pages = {355-370},
}

@inproceedings{KiselyovSFS05,
  title = {Backtracking, interleaving, and terminating monad transformers: (functional pearl)},
  author = {Oleg Kiselyov and Chung-chieh Shan and Daniel P. Friedman and Amr Sabry},
  year = {2005},
  doi = {10.1145/1086365.1086390},
  url = {http://doi.acm.org/10.1145/1086365.1086390},
  researchr = {https://researchr.org/publication/KiselyovSFS05},
  cites = {0},
  citedby = {0},
  pages = {192-203},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}

@inproceedings{Kiselyov18-1,
  title = {Polynomial Event Semantics - Non-Montagovian Proper Treatment of Quantifiers},
  author = {Oleg Kiselyov},
  year = {2018},
  doi = {10.1007/978-3-030-31605-1_23},
  url = {https://doi.org/10.1007/978-3-030-31605-1_23},
  researchr = {https://researchr.org/publication/Kiselyov18-1},
  cites = {0},
  citedby = {0},
  pages = {313-324},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops, JURISIN, AI-Biz, SKL, LENLS, IDAA, Yokohama, Japan, November 12-14, 2018, Revised Selected Papers},
  editor = {Kazuhiro Kojima and Maki Sakamoto and Koji Mineshima and Ken Satoh},
  volume = {11717},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-31605-1},
}

@inproceedings{KiselyovJS12,
  title = {Lazy v. Yield: Incremental, Linear Pretty-Printing},
  author = {Oleg Kiselyov and Simon L. Peyton Jones and Amr Sabry},
  year = {2012},
  doi = {10.1007/978-3-642-35182-2_14},
  url = {http://dx.doi.org/10.1007/978-3-642-35182-2_14},
  researchr = {https://researchr.org/publication/KiselyovJS12},
  cites = {0},
  citedby = {0},
  pages = {190-206},
  booktitle = {Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  editor = {Ranjit Jhala and Atsushi Igarashi},
  volume = {7705},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-35181-5},
}

@inproceedings{SwadiTKP06,
  title = {A monadic approach for avoiding code duplication when staging memoized functions},
  author = {Kedar N. Swadi and Walid Taha and Oleg Kiselyov and Emir Pasalic},
  year = {2006},
  doi = {10.1145/1111542.1111570},
  url = {http://doi.acm.org/10.1145/1111542.1111570},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/SwadiTKP06},
  cites = {0},
  citedby = {0},
  pages = {160-169},
  booktitle = {Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006},
  editor = {John Hatcliff and Frank Tip},
  publisher = {ACM},
  isbn = {1-59593-196-1},
}

@article{KiselyovRNK18,
  title = {Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7)},
  author = {Oleg Kiselyov and Tiark Rompf and Jennifer Neville and Yukiyoshi Kameyama},
  year = {2018},
  url = {https://shonan.nii.ac.jp/seminars/113/},
  researchr = {https://researchr.org/publication/KiselyovRNK18},
  cites = {0},
  citedby = {0},
  journal = {NII Shonan Meet. Rep.},
  volume = {2018},
}

@article{KiselyovLPW19,
  title = {Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146)},
  author = {Oleg Kiselyov and Sam Lindley and Gordon D. Plotkin and Nicolas Wu},
  year = {2019},
  url = {https://shonan.nii.ac.jp/seminars/146/},
  researchr = {https://researchr.org/publication/KiselyovLPW19},
  cites = {0},
  citedby = {0},
  journal = {NII Shonan Meet. Rep.},
  volume = {2019},
}

@inproceedings{KiselyovT04,
  title = {Relating FFTW and Split-Radix},
  author = {Oleg Kiselyov and Walid Taha},
  year = {2004},
  doi = {10.1007/11535409_71},
  url = {http://dx.doi.org/10.1007/11535409_71},
  researchr = {https://researchr.org/publication/KiselyovT04},
  cites = {0},
  citedby = {0},
  pages = {488-493},
  booktitle = {Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers},
  editor = {Zhaohui Wu and Chun Chen and Minyi Guo and Jiajun Bu},
  volume = {3605},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28128-2},
}

@inproceedings{KiselyovS08,
  title = {Lightweight monadic regions},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2008},
  doi = {10.1145/1411286.1411288},
  url = {http://doi.acm.org/10.1145/1411286.1411288},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/KiselyovS08},
  cites = {0},
  citedby = {0},
  pages = {1-12},
  booktitle = {Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008},
  editor = {Andy Gill},
  publisher = {ACM},
  isbn = {978-1-60558-064-7},
}

@article{AsaiKS11,
  title = {Functional un|unparsing},
  author = {Kenichi Asai and Oleg Kiselyov and Chung-chieh Shan},
  year = {2011},
  doi = {10.1007/s10990-012-9087-2},
  url = {http://dx.doi.org/10.1007/s10990-012-9087-2},
  researchr = {https://researchr.org/publication/AsaiKS11},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {24},
  number = {4},
  pages = {311-340},
}

@inproceedings{CaretteKS07,
  title = {Finally Tagless, Partially Evaluated},
  author = {Jacques Carette and Oleg Kiselyov and Chung-chieh Shan},
  year = {2007},
  doi = {10.1007/978-3-540-76637-7_15},
  url = {http://dx.doi.org/10.1007/978-3-540-76637-7_15},
  researchr = {https://researchr.org/publication/CaretteKS07},
  cites = {0},
  citedby = {0},
  pages = {222-238},
  booktitle = {Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings},
  editor = {Zhong Shao},
  volume = {4807},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76636-0},
}

@inproceedings{Kiselyov18,
  title = {\lambda λ to SKI, Semantically - Declarative Pearl},
  author = {Oleg Kiselyov},
  year = {2018},
  doi = {10.1007/978-3-319-90686-7_3},
  url = {https://doi.org/10.1007/978-3-319-90686-7_3},
  researchr = {https://researchr.org/publication/Kiselyov18},
  cites = {0},
  citedby = {0},
  pages = {33-50},
  booktitle = {Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings},
  editor = {John P. Gallagher and Martin Sulzmann},
  volume = {10818},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-90686-7},
}

@book{0015651,
  title = {The reasoned schemer},
  author = {Daniel P. Friedman and William E. Byrd and Oleg Kiselyov},
  year = {2005},
  tags = {e-science},
  researchr = {https://researchr.org/publication/0015651},
  cites = {0},
  citedby = {0},
  publisher = {MIT Press},
  isbn = {978-0-262-56214-0},
}

@inproceedings{Kiselyov10-0,
  title = {Typed Tagless Final Interpreters},
  author = {Oleg Kiselyov},
  year = {2010},
  doi = {10.1007/978-3-642-32202-0_3},
  url = {http://dx.doi.org/10.1007/978-3-642-32202-0_3},
  researchr = {https://researchr.org/publication/Kiselyov10-0},
  cites = {0},
  citedby = {0},
  pages = {130-174},
  booktitle = {Generic and Indexed Programming - International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures},
  editor = {Jeremy Gibbons},
  volume = {7470},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32201-3},
}

@inproceedings{InoueKK16,
  title = {Staging beyond terms: prospects and challenges},
  author = {Jun Inoue and Oleg Kiselyov and Yukiyoshi Kameyama},
  year = {2016},
  doi = {10.1145/2847538.2847548},
  url = {http://doi.acm.org/10.1145/2847538.2847548},
  researchr = {https://researchr.org/publication/InoueKK16},
  cites = {0},
  citedby = {0},
  pages = {103-108},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
  editor = {Martin Erwig and Tiark Rompf},
  publisher = {ACM},
  isbn = {978-1-4503-4097-7},
}

@inproceedings{Kiselyov16,
  title = {Parameterized extensible effects and session types (extended abstract)},
  author = {Oleg Kiselyov},
  year = {2016},
  doi = {10.1145/2976022.2976034},
  url = {http://doi.acm.org/10.1145/2976022.2976034},
  researchr = {https://researchr.org/publication/Kiselyov16},
  cites = {0},
  citedby = {0},
  pages = {41-42},
  booktitle = {Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016},
  editor = {James Chapman and Wouter Swierstra},
  publisher = {ACM},
  isbn = {978-1-4503-4435-7},
}

@inproceedings{FischerKS09,
  title = {Purely functional lazy non-deterministic programming},
  author = {Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan},
  year = {2009},
  doi = {10.1145/1596550.1596556},
  url = {http://doi.acm.org/10.1145/1596550.1596556},
  tags = {laziness, functional programming, programming},
  researchr = {https://researchr.org/publication/FischerKS09},
  cites = {0},
  citedby = {0},
  pages = {11-22},
  booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-7},
}

@inproceedings{Kiselyov12,
  title = {Iteratees},
  author = {Oleg Kiselyov},
  year = {2012},
  doi = {10.1007/978-3-642-29822-6_15},
  url = {http://dx.doi.org/10.1007/978-3-642-29822-6_15},
  researchr = {https://researchr.org/publication/Kiselyov12},
  cites = {0},
  citedby = {0},
  pages = {166-181},
  booktitle = {Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings},
  editor = {Tom Schrijvers and Peter Thiemann},
  volume = {7294},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-29821-9},
}

@article{BraamGK22,
  title = {Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181)},
  author = {Peter Braam and Jeremy Gibbons and Oleg Kiselyov},
  year = {2022},
  url = {https://shonan.nii.ac.jp/seminars/181/},
  researchr = {https://researchr.org/publication/BraamGK22},
  cites = {0},
  citedby = {0},
  journal = {NII Shonan Meet. Rep.},
  volume = {2022},
}

@inproceedings{Kiselyov20-0,
  title = {Polynomial Event Semantics: Negation - Negation},
  author = {Oleg Kiselyov},
  year = {2020},
  doi = {10.1007/978-3-030-79942-7_6},
  url = {https://doi.org/10.1007/978-3-030-79942-7_6},
  researchr = {https://researchr.org/publication/Kiselyov20-0},
  cites = {0},
  citedby = {0},
  pages = {82-95},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers},
  editor = {Naoaki Okazaki and Katsutoshi Yada and Ken Satoh and Koji Mineshima},
  volume = {12758},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-79942-7},
}

@inproceedings{KiselyovS09,
  title = {Embedded Probabilistic Programming},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2009},
  doi = {10.1007/978-3-642-03034-5_17},
  url = {http://dx.doi.org/10.1007/978-3-642-03034-5_17},
  tags = {laziness, programming languages, object-oriented programming, meta programming,  OCaml, meta-model, modeling language, modeling, traversal, language modeling, tagless-final, object-role modeling, DSL, programming, subject-oriented programming, Meta-Environment, search, feature-oriented programming, meta-objects, probabilistic programming, domain-specific language},
  researchr = {https://researchr.org/publication/KiselyovS09},
  cites = {0},
  citedby = {0},
  pages = {360-384},
  booktitle = {Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings},
  editor = {Walid Mohamed Taha},
  volume = {5658},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03033-8},
}

@article{CaretteKS09,
  title = {Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages},
  author = {Jacques Carette and Oleg Kiselyov and Chung-chieh Shan},
  year = {2009},
  doi = {10.1017/S0956796809007205},
  url = {http://dx.doi.org/10.1017/S0956796809007205},
  tags = {types, data-flow language, interpreter, abstract syntax, tagging, transformation language, tagless-final, Haskell, data-flow, compiler,  algebra, partial evaluation, DSL, Meta-Environment, higher-order transformations, meta-objects, transformation},
  researchr = {https://researchr.org/publication/CaretteKS09},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {19},
  number = {5},
  pages = {509-543},
}

@article{BiboudisKO18,
  title = {Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14)},
  author = {Aggelos Biboudis and Oleg Kiselyov and Martin Odersky},
  year = {2018},
  url = {https://shonan.nii.ac.jp/seminars/136/},
  researchr = {https://researchr.org/publication/BiboudisKO18},
  cites = {0},
  citedby = {0},
  journal = {NII Shonan Meet. Rep.},
  volume = {2018},
}

@inproceedings{Kiselyov15-0,
  title = {Applicative Abstract Categorial Grammars in Full Swing},
  author = {Oleg Kiselyov},
  year = {2015},
  doi = {10.1007/978-3-319-50953-2_6},
  url = {http://dx.doi.org/10.1007/978-3-319-50953-2_6},
  researchr = {https://researchr.org/publication/Kiselyov15-0},
  cites = {0},
  citedby = {0},
  pages = {66-78},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers},
  editor = {Mihoko Otake and Setsuya Kurahashi and Yuiko Ota and Ken Satoh and Daisuke Bekki},
  volume = {10091},
  series = {Lecture Notes in Computer Science},
  isbn = {978-3-319-50953-2},
}

@inproceedings{Kiselyov98b,
  title = {A Delegation Language to Request Weather Products and a Scheme of Its Interpretation},
  author = {Oleg Kiselyov},
  year = {1998},
  doi = {10.1145/289423.289472},
  url = {http://doi.acm.org/10.1145/289423.289472},
  researchr = {https://researchr.org/publication/Kiselyov98b},
  cites = {0},
  citedby = {0},
  pages = {343},
  booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
  editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
  address = {Baltimore, Maryland, United States},
  publisher = {ACM},
}

@article{Kiselyov20,
  title = {Many more predecessors: A representation workout},
  author = {Oleg Kiselyov},
  year = {2020},
  doi = {10.1017/S095679682000009X},
  url = {https://doi.org/10.1017/S095679682000009X},
  researchr = {https://researchr.org/publication/Kiselyov20},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {30},
}

@inproceedings{Kiselyov02,
  title = {Macros That Compose: Systematic Macro Programming},
  author = {Oleg Kiselyov},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2487/24870202.htm},
  tags = {macros, programming, systematic-approach},
  researchr = {https://researchr.org/publication/Kiselyov02},
  cites = {0},
  citedby = {0},
  pages = {202-217},
  booktitle = {Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings},
  editor = {Don S. Batory and Charles Consel and Walid Taha},
  volume = {2487},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44284-7},
}

@inproceedings{KiselyovBFS08,
  title = {Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)},
  author = {Oleg Kiselyov and William E. Byrd and Daniel P. Friedman and Chung-chieh Shan},
  year = {2008},
  doi = {10.1007/978-3-540-78969-7_7},
  url = {http://dx.doi.org/10.1007/978-3-540-78969-7_7},
  tags = {e-science},
  researchr = {https://researchr.org/publication/KiselyovBFS08},
  cites = {0},
  citedby = {0},
  pages = {64-80},
  booktitle = {Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings},
  editor = {Jacques Garrigue and Manuel V. Hermenegildo},
  volume = {4989},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78968-0},
}

@inproceedings{YallopK19,
  title = {Generating mutually recursive definitions},
  author = {Jeremy Yallop and Oleg Kiselyov},
  year = {2019},
  doi = {10.1145/3294032.3294078},
  url = {https://doi.org/10.1145/3294032.3294078},
  researchr = {https://researchr.org/publication/YallopK19},
  cites = {0},
  citedby = {0},
  pages = {75-81},
  booktitle = {Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019},
  editor = {Manuel V. Hermenegildo and Atsushi Igarashi},
  publisher = {ACM},
  isbn = {978-1-4503-6226-9},
}

@article{KiselyovSK14,
  title = {Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7)},
  author = {Oleg Kiselyov and Jeremy G. Siek and Yukiyoshi Kameyama},
  year = {2014},
  url = {http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2014-7.pdf},
  researchr = {https://researchr.org/publication/KiselyovSK14},
  cites = {0},
  citedby = {0},
  journal = {NII Shonan Meet. Rep.},
  volume = {2014},
}

@inproceedings{Kiselyov98,
  title = {LAND*: an AND with local bindings, a ::::guarded:::: LET* special form},
  author = {Oleg Kiselyov},
  year = {1998},
  doi = {10.1145/289423.289463},
  url = {http://doi.acm.org/10.1145/289423.289463},
  researchr = {https://researchr.org/publication/Kiselyov98},
  cites = {0},
  citedby = {0},
  pages = {336},
  booktitle = {Proceedings of the third ACM SIGPLAN international conference on Functional programming},
  editor = {Matthias Felleisen and Paul Hudak and Christian Queinnec},
  address = {Baltimore, Maryland, United States},
  publisher = {ACM},
}

@article{KiselyovSK12,
  title = {Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4)},
  author = {Oleg Kiselyov and Chung-chieh Shan and Yukiyoshi Kameyama},
  year = {2012},
  url = {http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2012-4.pdf},
  researchr = {https://researchr.org/publication/KiselyovSK12},
  cites = {0},
  citedby = {0},
  journal = {NII Shonan Meet. Rep.},
  volume = {2012},
}

@inproceedings{CaretteK05,
  title = {Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code},
  author = {Jacques Carette and Oleg Kiselyov},
  year = {2005},
  doi = {10.1007/11561347_18},
  url = {http://dx.doi.org/10.1007/11561347_18},
  tags = {generic programming, programming, abstraction},
  researchr = {https://researchr.org/publication/CaretteK05},
  cites = {0},
  citedby = {0},
  pages = {256-274},
  booktitle = {Generative Programming and Component Engineering, 4th International Conference, GPCE 2005},
  editor = {Robert Glück and Michael R. Lowry},
  volume = {3676},
  series = {Lecture Notes in Computer Science},
  address = {Tallinn, Estonia},
  publisher = {Springer},
  isbn = {3-540-29138-5},
}

@inproceedings{KatsushimaK17,
  title = {Language-integrated query with ordering, grouping and outer joins (poster paper)},
  author = {Tatsuya Katsushima and Oleg Kiselyov},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3018893},
  researchr = {https://researchr.org/publication/KatsushimaK17},
  cites = {0},
  citedby = {0},
  pages = {123-124},
  booktitle = {Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017},
  editor = {Ulrik Pagh Schultz and Jeremy Yallop},
  publisher = {ACM},
  isbn = {978-1-4503-4721-1},
}

@inproceedings{Kiselyov98c,
  title = {A Lazy CGI Namespace in Scheme},
  author = {Oleg Kiselyov},
  year = {1998},
  doi = {10.1145/289423.289479},
  url = {http://doi.acm.org/10.1145/289423.289479},
  tags = {laziness},
  researchr = {https://researchr.org/publication/Kiselyov98c},
  cites = {0},
  citedby = {0},
  pages = {349},
  booktitle = {ICFP},
}

@inproceedings{KiselyovS07:1,
  title = {Delimited Continuations in Operating Systems},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2007},
  doi = {10.1007/978-3-540-74255-5_22},
  url = {http://dx.doi.org/10.1007/978-3-540-74255-5_22},
  tags = {operating system},
  researchr = {https://researchr.org/publication/KiselyovS07%3A1},
  cites = {0},
  citedby = {0},
  pages = {291-302},
  booktitle = {Modeling and Using Context, 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings},
  editor = {Boicho N. Kokinov and Daniel C. Richardson and Thomas Roth-Berghofer and Laure Vieu},
  volume = {4635},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74254-8},
}

@inproceedings{KiselyovK17,
  title = {Sound and Efficient Language-Integrated Query - Maintaining the ORDER},
  author = {Oleg Kiselyov and Tatsuya Katsushima},
  year = {2017},
  doi = {10.1007/978-3-319-71237-6_18},
  url = {https://doi.org/10.1007/978-3-319-71237-6_18},
  researchr = {https://researchr.org/publication/KiselyovK17},
  cites = {0},
  citedby = {0},
  pages = {364-383},
  booktitle = {Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings},
  editor = {Bor-Yuh Evan Chang},
  volume = {10695},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-71237-6},
}

@article{KiselyovLT12,
  title = {Editorial PEPM2012},
  author = {Oleg Kiselyov and Julia Lawall and Simon Thompson},
  year = {2012},
  doi = {10.1007/s10990-013-9092-0},
  url = {http://dx.doi.org/10.1007/s10990-013-9092-0},
  researchr = {https://researchr.org/publication/KiselyovLT12},
  cites = {0},
  citedby = {0},
  journal = {Higher-Order and Symbolic Computation},
  volume = {25},
  number = {1},
  pages = {1-2},
}

@inproceedings{KiselyovF96,
  title = {Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification},
  author = {Oleg Kiselyov and Paul Fisher},
  year = {1996},
  researchr = {https://researchr.org/publication/KiselyovF96},
  cites = {0},
  citedby = {0},
  pages = {443},
  booktitle = {Data Compression Conference},
}

@inproceedings{KiselyovK03,
  title = {SXSLT: Manipulation Language for XML},
  author = {Oleg Kiselyov and Shriram Krishnamurthi},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2562/25620256.htm},
  tags = {XML, XML Schema},
  researchr = {https://researchr.org/publication/KiselyovK03},
  cites = {0},
  citedby = {0},
  pages = {256-272},
  booktitle = {Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
  editor = {Verónica Dahl and Philip Wadler},
  volume = {2562},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00389-4},
}

@inproceedings{KiselyovS09-0,
  title = {Monolingual Probabilistic Programming Using Generalized Coroutines},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2009},
  url = {http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1601&proceeding_id=25},
  researchr = {https://researchr.org/publication/KiselyovS09-0},
  cites = {0},
  citedby = {0},
  pages = {285-292},
  booktitle = {UAI 2009, Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence, Montreal, QC, Canada, June 18-21, 2009},
  editor = {Jeff Bilmes and Andrew Y. Ng},
  publisher = {AUAI Press},
}

@incollection{KiselyovJS10,
  title = {Fun with Type Functions},
  author = {Oleg Kiselyov and Simon L. Peyton Jones and Chung-chieh Shan},
  year = {2010},
  doi = {10.1007/978-1-84882-912-1_14},
  url = {http://dx.doi.org/10.1007/978-1-84882-912-1_14},
  researchr = {https://researchr.org/publication/KiselyovJS10},
  cites = {0},
  citedby = {0},
  pages = {301-331},
  booktitle = {Reflections on the Work of C. A. R. Hoare},
  editor = {A. W. Roscoe and Clifford B. Jones and Kenneth R. Wood},
  publisher = {Springer},
  isbn = {978-1-84882-911-4},
}

@article{KiselyovMSJ19,
  title = {Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143)},
  author = {Oleg Kiselyov and Anil Madhavapeddy and K. C. Sivaramakrishnan and Suresh Jagannathan},
  year = {2019},
  url = {https://shonan.nii.ac.jp/seminars/143/},
  researchr = {https://researchr.org/publication/KiselyovMSJ19},
  cites = {0},
  citedby = {0},
  journal = {NII Shonan Meet. Rep.},
  volume = {2019},
}

@inproceedings{KiselyovH19,
  title = {Lambek Grammars as Second-Order Abstract Categorial Grammars},
  author = {Oleg Kiselyov and Yuya Hoshino},
  year = {2019},
  doi = {10.1007/978-3-030-58790-1_15},
  url = {https://doi.org/10.1007/978-3-030-58790-1_15},
  researchr = {https://researchr.org/publication/KiselyovH19},
  cites = {0},
  citedby = {0},
  pages = {231-243},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers},
  editor = {Maki Sakamoto and Naoaki Okazaki and Koji Mineshima and Ken Satoh},
  volume = {12331},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-58790-1},
}

@inproceedings{KameyamaKS09,
  title = {Shifting the stage: staging with delimited control},
  author = {Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
  year = {2009},
  doi = {10.1145/1480945.1480962},
  url = {http://doi.acm.org/10.1145/1480945.1480962},
  tags = {control systems, programming languages, optimization, semantics, translation, type soundness, composition, type system, reuse, source-to-source, type checking, compiler, programming, operational semantics, program optimization, systematic-approach, open-source, domain-specific language},
  researchr = {https://researchr.org/publication/KameyamaKS09},
  cites = {0},
  citedby = {0},
  pages = {111-120},
  booktitle = {Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009},
  editor = {Germán Puebla and Germán Vidal},
  publisher = {ACM},
  isbn = {978-1-60558-327-3},
}

@inproceedings{KameyamaKS08,
  title = {Closing the stage: from staged code to typed closures},
  author = {Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
  year = {2008},
  doi = {10.1145/1328408.1328430},
  url = {http://doi.acm.org/10.1145/1328408.1328430},
  researchr = {https://researchr.org/publication/KameyamaKS08},
  cites = {0},
  citedby = {0},
  pages = {147-157},
  booktitle = {Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008},
  editor = {Robert Glück and Oege de Moor},
  publisher = {ACM},
  isbn = {978-1-59593-977-7},
}

@article{KiselyovB99,
  title = {Comment on   On the Application of a Popular Notation to Semantics   and reply from the Autor},
  author = {Oleg Kiselyov and Richard J. Botting},
  year = {1999},
  tags = {semantics},
  researchr = {https://researchr.org/publication/KiselyovB99},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {34},
  number = {12},
  pages = {35-36},
}

@article{FischerKS11,
  title = {Purely functional lazy nondeterministic programming},
  author = {Sebastian Fischer and Oleg Kiselyov and Chung-chieh Shan},
  year = {2011},
  doi = {10.1017/S0956796811000189},
  url = {http://dx.doi.org/10.1017/S0956796811000189},
  researchr = {https://researchr.org/publication/FischerKS11},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {21},
  number = {4-5},
  pages = {413-465},
}

@inproceedings{KiselyovBPS17,
  title = {Stream fusion, to completeness},
  author = {Oleg Kiselyov and Aggelos Biboudis and Nick Palladinos and Yannis Smaragdakis},
  year = {2017},
  url = {http://dl.acm.org/citation.cfm?id=3009880},
  researchr = {https://researchr.org/publication/KiselyovBPS17},
  cites = {0},
  citedby = {0},
  pages = {285-299},
  booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017},
  editor = {Giuseppe Castagna and Andrew D. Gordon},
  publisher = {ACM},
  isbn = {978-1-4503-4660-3},
}

@article{CohenDGHKP06,
  title = {In search of a program generator to implement generic transformations for high-performance computing},
  author = {Albert Cohen and Sébastien Donadio and María Jesús Garzarán and Christoph Armin Herrmann and Oleg Kiselyov and David A. Padua},
  year = {2006},
  doi = {10.1016/j.scico.2005.10.013},
  url = {http://dx.doi.org/10.1016/j.scico.2005.10.013},
  tags = {generic programming, search, transformation, program transformation},
  researchr = {https://researchr.org/publication/CohenDGHKP06},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {62},
  number = {1},
  pages = {25-46},
}

@article{Kiselyov18-0,
  title = {Reconciling Abstraction with High Performance: A MetaOCaml approach},
  author = {Oleg Kiselyov},
  year = {2018},
  doi = {10.1561/2500000038},
  url = {https://doi.org/10.1561/2500000038},
  researchr = {https://researchr.org/publication/Kiselyov18-0},
  cites = {0},
  citedby = {0},
  journal = {Foundations and Trends in Programming Languages},
  volume = {5},
  number = {1},
  pages = {1-101},
}

@inproceedings{KameyamaKS14,
  title = {Combinators for impure yet hygienic code generation},
  author = {Yukiyoshi Kameyama and Oleg Kiselyov and Chung-chieh Shan},
  year = {2014},
  doi = {10.1145/2543728.2543740},
  url = {http://doi.acm.org/10.1145/2543728.2543740},
  researchr = {https://researchr.org/publication/KameyamaKS14},
  cites = {0},
  citedby = {0},
  pages = {3-14},
  booktitle = {Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA},
  editor = {Wei-Ngan Chin and Jurriaan Hage},
  publisher = {ACM},
  isbn = {978-1-4503-2619-3},
}

@inproceedings{Kiselyov02:0,
  title = {A Better XML Parser through Functional Programming},
  author = {Oleg Kiselyov},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2257/22570209.htm},
  tags = {XML, XML Schema, functional programming, programming, parsing},
  researchr = {https://researchr.org/publication/Kiselyov02%3A0},
  cites = {0},
  citedby = {0},
  pages = {209-224},
  booktitle = {Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
  editor = {Shriram Krishnamurthi and C. R. Ramakrishnan},
  volume = {2257},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43092-X},
}

@article{KiselyovS07,
  title = {Lightweight Static Capabilities},
  author = {Oleg Kiselyov and Chung-chieh Shan},
  year = {2007},
  doi = {10.1016/j.entcs.2006.10.039},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.10.039},
  researchr = {https://researchr.org/publication/KiselyovS07},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {174},
  number = {7},
  pages = {79-104},
}

@article{KiselyovK18,
  title = {Preface: Functional and Logic Programming (FLOPS 2016)},
  author = {Oleg Kiselyov and Andy King},
  year = {2018},
  doi = {10.1016/j.scico.2018.03.005},
  url = {https://doi.org/10.1016/j.scico.2018.03.005},
  researchr = {https://researchr.org/publication/KiselyovK18},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {164},
  pages = {1-2},
}

@inproceedings{SuzukiKK16,
  title = {Finally, safely-extensible and efficient language-integrated query},
  author = {Kenichi Suzuki and Oleg Kiselyov and Yukiyoshi Kameyama},
  year = {2016},
  doi = {10.1145/2847538.2847542},
  url = {http://doi.acm.org/10.1145/2847538.2847542},
  researchr = {https://researchr.org/publication/SuzukiKK16},
  cites = {0},
  citedby = {0},
  pages = {37-48},
  booktitle = {Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016},
  editor = {Martin Erwig and Tiark Rompf},
  publisher = {ACM},
  isbn = {978-1-4503-4097-7},
}

@inproceedings{Kiselyov99,
  title = {A network file system over HTTP: remote access and modification of files and ::::files::::},
  author = {Oleg Kiselyov},
  year = {1999},
  url = {http://www.usenix.org/events/usenix99/kiselyov.html},
  researchr = {https://researchr.org/publication/Kiselyov99},
  cites = {0},
  citedby = {0},
  pages = {75-80},
  booktitle = {Proceedings of the FREENIX Track: 1999 USENIX Annual Technical Conference, June 6-11, 1999, Monterey, California, USA},
  publisher = {USENIX},
  isbn = {1-880446-32-4},
}

@inproceedings{PloegK14,
  title = {Reflection without remorse: revealing a hidden sequence to speed up monadic reflection},
  author = {Atze van der Ploeg and Oleg Kiselyov},
  year = {2014},
  doi = {10.1145/2633357.2633360},
  url = {http://doi.acm.org/10.1145/2633357.2633360},
  researchr = {https://researchr.org/publication/PloegK14},
  cites = {0},
  citedby = {0},
  pages = {133-144},
  booktitle = {Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014},
  editor = {Wouter Swierstra},
  publisher = {ACM},
  isbn = {978-1-4503-3041-1},
}

@inproceedings{Kiselyov22,
  title = {Generating C - System Description},
  author = {Oleg Kiselyov},
  year = {2022},
  doi = {10.1007/978-3-030-99461-7_5},
  url = {https://doi.org/10.1007/978-3-030-99461-7_5},
  researchr = {https://researchr.org/publication/Kiselyov22},
  cites = {0},
  citedby = {0},
  pages = {75-93},
  booktitle = {Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings},
  editor = {Michael Hanus and Atsushi Igarashi},
  volume = {13215},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-99461-7},
}

@inproceedings{Kiselyov14,
  title = {The Design and Implementation of BER MetaOCaml - System Description},
  author = {Oleg Kiselyov},
  year = {2014},
  doi = {10.1007/978-3-319-07151-0_6},
  url = {http://dx.doi.org/10.1007/978-3-319-07151-0_6},
  researchr = {https://researchr.org/publication/Kiselyov14},
  cites = {0},
  citedby = {0},
  pages = {86-102},
  booktitle = {Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings},
  editor = {Michael Codish and Eijiro Sumii},
  volume = {8475},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-07150-3},
}

@inproceedings{KiselyovF94,
  title = {Self-Similarity of the Multiresolutional Image/Video Decomposition: Smart Expansion as Compression of Still and Moving Pictures},
  author = {Oleg Kiselyov and Paul Fisher},
  year = {1994},
  researchr = {https://researchr.org/publication/KiselyovF94},
  cites = {0},
  citedby = {0},
  pages = {331-340},
  booktitle = {Data Compression Conference},
}
@proceedings{pepm-2012,
  title = {Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012},
  year = {2012},
  url = {http://dl.acm.org/citation.cfm?id=2103746},
  researchr = {https://researchr.org/publication/pepm-2012},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012},
  conference = {PEPM},
  editor = {Oleg Kiselyov and Simon Thompson},
  publisher = {ACM},
  isbn = {978-1-4503-1118-2},
}

@proceedings{flops-2016,
  title = {Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  year = {2016},
  doi = {10.1007/978-3-319-29604-3},
  url = {http://dx.doi.org/10.1007/978-3-319-29604-3},
  researchr = {https://researchr.org/publication/flops-2016},
  cites = {0},
  citedby = {0},
  booktitle = {Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  conference = {FLOPS},
  editor = {Oleg Kiselyov and Andy King},
  volume = {9613},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-29603-6},
}