publications:
- title: "Delimited Control in OCaml, Abstractly and Concretely: System Description"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-12251-4_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12251-4_22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/Kiselyov10"
  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:
  - name: "Matthias Blume"
    link: "https://researchr.org/alias/matthias-blume"
  - name: "Naoki Kobayashi"
    link: "https://researchr.org/alias/naoki-kobayashi"
  - name: "Germán Vidal"
    link: "https://researchr.org/alias/germ%C3%A1n-vidal"
  volume: "6009"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12250-7"
  kind: "inproceedings"
  key: "Kiselyov10"
- title: "Extensible effects: an alternative to monad transformers"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  - name: "Cameron Swords"
    link: "https://researchr.org/alias/cameron-swords"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2503778.2503791"
  links:
    doi: "http://doi.acm.org/10.1145/2503778.2503791"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/KiselyovSS13"
  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:
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  publisher: "ACM"
  isbn: "978-1-4503-2383-3"
  kind: "inproceedings"
  key: "KiselyovSS13"
- title: "Soutei, a Logic-Based Trust-Management System"
  author:
  - name: "Andrew Pimlott"
    link: "https://researchr.org/alias/andrew-pimlott"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11737414_10"
  links:
    doi: "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:
  - name: "Masami Hagiya"
    link: "https://researchr.org/alias/masami-hagiya"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  volume: "3945"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33438-6"
  kind: "inproceedings"
  key: "PimlottK06"
- title: "Delimited control in OCaml, abstractly and concretely"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2012"
  doi: "http://dx.doi.org/10.1016/j.tcs.2012.02.025"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2012.02.025"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcs/Kiselyov12"
  researchr: "https://researchr.org/publication/Kiselyov12-0"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "435"
  pages: "56-76"
  kind: "article"
  key: "Kiselyov12-0"
- title: "Strongly typed heterogeneous collections"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Ralf Lämmel"
    link: "http://www.uni-koblenz.de/~laemmel/Site/Home.html"
  - name: "Keean Schupke"
    link: "https://researchr.org/alias/keean-schupke"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1017472.1017488"
  links:
    doi: "http://doi.acm.org/10.1145/1017472.1017488"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/KiselyovLS04"
  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:
  - name: "Henrik Nilsson"
    link: "https://researchr.org/alias/henrik-nilsson"
  publisher: "ACM"
  kind: "inproceedings"
  key: "KiselyovLS04"
- title: "Applicative Abstract Categorial Grammar"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2015"
  doi: "http://www.easychair.org/publications/paper/Applicative_Abstract_Categorial_Grammar"
  links:
    doi: "http://www.easychair.org/publications/paper/Applicative_Abstract_Categorial_Grammar"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icalp/Kiselyov15"
  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:
  - name: "Makoto Kanazawa"
    link: "https://researchr.org/alias/makoto-kanazawa"
  - name: "Lawrence S. Moss"
    link: "https://researchr.org/alias/lawrence-s.-moss"
  - name: "Valeria de Paiva"
    link: "https://researchr.org/alias/valeria-de-paiva"
  volume: "32"
  series: "EPiC Series in Computing"
  publisher: "EasyChair"
  kind: "inproceedings"
  key: "Kiselyov15"
- title: "Functional Style in C++: Closures, Late Binding, and Lambda Abstractions"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289423.289464"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Kiselyov98a"
- title: "Not by equations alone: Reasoning with extensible effects"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  year: "2021"
  doi: "https://doi.org/10.1017/S0956796820000271"
  links:
    doi: "https://doi.org/10.1017/S0956796820000271"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/KiselyovMS21"
  researchr: "https://researchr.org/publication/KiselyovMS21"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "31"
  kind: "article"
  key: "KiselyovMS21"
- title: "Transformational Semantics on a Tree Bank"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2017"
  doi: "https://doi.org/10.1007/978-3-319-93794-6_17"
  links:
    doi: "https://doi.org/10.1007/978-3-319-93794-6_17"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/jsai/Kiselyov17"
  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:
  - name: "Sachiyo Arai"
    link: "https://researchr.org/alias/sachiyo-arai"
  - name: "Kazuhiro Kojima"
    link: "https://researchr.org/alias/kazuhiro-kojima"
  - name: "Koji Mineshima"
    link: "https://researchr.org/alias/koji-mineshima"
  - name: "Daisuke Bekki"
    link: "https://researchr.org/alias/daisuke-bekki"
  - name: "Ken Satoh"
    link: "https://researchr.org/alias/ken-satoh"
  - name: "Yuiko Ohta"
    link: "https://researchr.org/alias/yuiko-ohta"
  volume: "10838"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-93794-6"
  kind: "inproceedings"
  key: "Kiselyov17"
- title: "Refined Environment Classifiers - Type- and Scope-Safe Code Generation with Mutable Cells"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  - name: "Yuto Sudo"
    link: "https://researchr.org/alias/yuto-sudo"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-47958-3_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-47958-3_15"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aplas/KiselyovKS16"
  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:
  - name: "Atsushi Igarashi"
    link: "https://researchr.org/alias/atsushi-igarashi"
  volume: "10017"
  series: "Lecture Notes in Computer Science"
  isbn: "978-3-319-47957-6"
  kind: "inproceedings"
  key: "KiselyovKS16"
- title: "Canonical Constituents and Non-canonical Coordination - Simple Categorial Grammar Account"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-662-48119-6_8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-48119-6_8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/jsai/Kiselyov14"
  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:
  - name: "Tsuyoshi Murata"
    link: "https://researchr.org/alias/tsuyoshi-murata"
  - name: "Koji Mineshima"
    link: "https://researchr.org/alias/koji-mineshima"
  - name: "Daisuke Bekki"
    link: "https://researchr.org/alias/daisuke-bekki"
  volume: "9067"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-662-48118-9"
  kind: "inproceedings"
  key: "Kiselyov14-0"
- title: "Session Types Without Sophistry - System Description"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Keigo Imai"
    link: "https://researchr.org/alias/keigo-imai"
  year: "2020"
  doi: "https://doi.org/10.1007/978-3-030-59025-3_5"
  links:
    doi: "https://doi.org/10.1007/978-3-030-59025-3_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/KiselyovI20"
  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:
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  - name: "Konstantinos Sagonas"
    link: "https://researchr.org/alias/konstantinos-sagonas"
  volume: "12073"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-59025-3"
  kind: "inproceedings"
  key: "KiselyovI20"
- title: "A Substructural Type System for Delimited Continuations"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-73228-0_17"
  links:
    doi: "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:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  volume: "4583"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73227-3"
  kind: "inproceedings"
  key: "KiselyovS07:0"
- title: "Functional pearl: implicit configurations-or, type classes reflect the values of types"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1017472.1017481"
  links:
    doi: "http://doi.acm.org/10.1145/1017472.1017481"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/KiselyovS04"
  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:
  - name: "Henrik Nilsson"
    link: "https://researchr.org/alias/henrik-nilsson"
  publisher: "ACM"
  kind: "inproceedings"
  key: "KiselyovS04"
- title: "Shifting the stage - Staging with delimited control"
  author:
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2011"
  doi: "http://dx.doi.org/10.1017/S0956796811000256"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796811000256"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/KameyamaKS11"
  researchr: "https://researchr.org/publication/KameyamaKS11"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "21"
  number: "6"
  pages: "617-662"
  kind: "article"
  key: "KameyamaKS11"
- title: "Freer monads, more extensible effects"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Hiromi Ishii"
    link: "https://researchr.org/alias/hiromi-ishii"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2804302.2804319"
  links:
    doi: "http://doi.acm.org/10.1145/2804302.2804319"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/KiselyovI15"
  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:
  - name: "Ben Lippmeier"
    link: "https://researchr.org/alias/ben-lippmeier"
  publisher: "ACM"
  isbn: "978-1-4503-3808-0"
  kind: "inproceedings"
  key: "KiselyovI15"
- title: "SXML specification"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/571727.571736"
  links:
    doi: "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"
  kind: "article"
  key: "Kiselyov02-0"
- title: "Comparing libraries for generic programming in haskell"
  author:
  - name: "Alexey Rodriguez"
    link: "http://arodriguezyakushev.wordpress.com/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Patrik Jansson"
    link: "http://www.chalmers.se/cse/EN/people/jansson-patrik"
  - name: "Alex Gerdes"
    link: "http://www.haksell.org/"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Bruno C. d. S. Oliveira"
    link: "http://ropas.snu.ac.kr/~bruno/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411286.1411301"
  abstract: "Datatype-generic programming is defining functions that depend on the structure, or \"shape\", of datatypes. It has been around for more than 10 years, and a lot of progress has been made, in particular in the lazy functional programming language Haskell. There are morethan 10 proposals for generic programming libraries orlanguage extensions for Haskell. To compare and characterise the many generic programming libraries in atyped functional language, we introduce a set of criteria and develop a generic programming benchmark: a set of characteristic examples testing various facets of datatype-generic programming. We have implemented the benchmark for nine existing Haskell generic programming libraries and present the evaluation of the libraries. The comparison is useful for reaching a common standard for generic programming, but also for a programmer who has to choose a particular approach for datatype-generic programming."
  links:
    doi: "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:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  publisher: "ACM"
  isbn: "978-1-60558-064-7"
  kind: "inproceedings"
  key: "RodriguezJJGKO08"
- title: "Combinators for impure yet hygienic code generation"
  author:
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2015"
  doi: "http://dx.doi.org/10.1016/j.scico.2015.08.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2015.08.007"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/KameyamaKS15"
  researchr: "https://researchr.org/publication/KameyamaKS15"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "112"
  pages: "120-144"
  kind: "article"
  key: "KameyamaKS15"
- title: "A methodology for generating verified combinatorial circuits"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Kedar N. Swadi"
    link: "https://researchr.org/alias/kedar-n.-swadi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1017753.1017794"
  links:
    doi: "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:
  - name: "Giorgio C. Buttazzo"
    link: "https://researchr.org/alias/giorgio-c.-buttazzo"
  publisher: "ACM"
  isbn: "1-58113-860-1"
  kind: "inproceedings"
  key: "KiselyovST04"
- title: "Probabilistic Programming Language and its Incremental Evaluation"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-47958-3_19"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-47958-3_19"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aplas/Kiselyov16"
  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:
  - name: "Atsushi Igarashi"
    link: "https://researchr.org/alias/atsushi-igarashi"
  volume: "10017"
  series: "Lecture Notes in Computer Science"
  isbn: "978-3-319-47957-6"
  kind: "inproceedings"
  key: "Kiselyov16-0"
- title: "Shonan challenge for generative programming: short position paper"
  author:
  - name: "Baris Aktemur"
    link: "https://researchr.org/alias/baris-aktemur"
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2426890.2426917"
  links:
    doi: "http://doi.acm.org/10.1145/2426890.2426917"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/AktemurKKS13"
  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:
  - name: "Elvira Albert"
    link: "https://researchr.org/alias/elvira-albert"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  publisher: "ACM"
  isbn: "978-1-4503-1842-6"
  kind: "inproceedings"
  key: "AktemurKKS13"
- title: "Delimited dynamic binding"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1159803.1159808"
  links:
    doi: "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:
  - name: "John H. Reppy"
    link: "http://www.cs.uchicago.edu/people/jhr"
  - name: "Julia L. Lawall"
    link: "http://www.diku.dk/hjemmesider/ansatte/julia/"
  publisher: "ACM"
  isbn: "1-59593-309-3"
  kind: "inproceedings"
  key: "KiselyovSS06"
- title: "Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code"
  author:
  - name: "Jacques Carette"
    link: "https://researchr.org/alias/jacques-carette"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.scico.2008.09.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2008.09.008"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/CaretteK11"
  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"
  kind: "article"
  key: "CaretteK11"
- title: "Non-canonical Coordination in the Transformational Approach"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2016"
  doi: "https://doi.org/10.1007/978-3-319-61572-1_3"
  links:
    doi: "https://doi.org/10.1007/978-3-319-61572-1_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/jsai/Kiselyov16"
  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:
  - name: "Setsuya Kurahashi"
    link: "https://researchr.org/alias/setsuya-kurahashi"
  - name: "Yuiko Ohta"
    link: "https://researchr.org/alias/yuiko-ohta"
  - name: "Sachiyo Arai"
    link: "https://researchr.org/alias/sachiyo-arai"
  - name: "Ken Satoh"
    link: "https://researchr.org/alias/ken-satoh"
  - name: "Daisuke Bekki"
    link: "https://researchr.org/alias/daisuke-bekki"
  volume: "10247"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-61572-1"
  kind: "inproceedings"
  key: "Kiselyov16-1"
- title: "Implementing Metcast in Scheme"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10990-005-4880-9"
  links:
    doi: "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"
  kind: "article"
  key: "Kiselyov05"
- title: "Backtracking, interleaving, and terminating monad transformers: (functional pearl)"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1086365.1086390"
  links:
    doi: "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:
  - name: "Olivier Danvy"
    link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/"
  - name: "Benjamin C. Pierce"
    link: "http://www.cis.upenn.edu/~bcpierce/"
  publisher: "ACM"
  isbn: "1-59593-064-7"
  kind: "inproceedings"
  key: "KiselyovSFS05"
- title: "Polynomial Event Semantics - Non-Montagovian Proper Treatment of Quantifiers"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2018"
  doi: "https://doi.org/10.1007/978-3-030-31605-1_23"
  links:
    doi: "https://doi.org/10.1007/978-3-030-31605-1_23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/jsai/Kiselyov18"
  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:
  - name: "Kazuhiro Kojima"
    link: "https://researchr.org/alias/kazuhiro-kojima"
  - name: "Maki Sakamoto"
    link: "https://researchr.org/alias/maki-sakamoto"
  - name: "Koji Mineshima"
    link: "https://researchr.org/alias/koji-mineshima"
  - name: "Ken Satoh"
    link: "https://researchr.org/alias/ken-satoh"
  volume: "11717"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-31605-1"
  kind: "inproceedings"
  key: "Kiselyov18-1"
- title: "Lazy v. Yield: Incremental, Linear Pretty-Printing"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Amr Sabry"
    link: "https://researchr.org/alias/amr-sabry"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-35182-2_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-35182-2_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aplas/KiselyovJS12"
  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:
  - name: "Ranjit Jhala"
    link: "https://researchr.org/alias/ranjit-jhala"
  - name: "Atsushi Igarashi"
    link: "https://researchr.org/alias/atsushi-igarashi"
  volume: "7705"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-35181-5"
  kind: "inproceedings"
  key: "KiselyovJS12"
- title: "A monadic approach for avoiding code duplication when staging memoized functions"
  author:
  - name: "Kedar N. Swadi"
    link: "https://researchr.org/alias/kedar-n.-swadi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1111542.1111570"
  links:
    doi: "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:
  - name: "John Hatcliff"
    link: "http://people.cis.ksu.edu/~hatcliff/newweb/"
  - name: "Frank Tip"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/tip.index.html"
  publisher: "ACM"
  isbn: "1-59593-196-1"
  kind: "inproceedings"
  key: "SwadiTKP06"
- title: "Meta-Programming for Statistical Machine Learning (NII Shonan Meeting 2018-7)"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Tiark Rompf"
    link: "https://researchr.org/alias/tiark-rompf"
  - name: "Jennifer Neville"
    link: "https://researchr.org/alias/jennifer-neville"
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  year: "2018"
  doi: "https://shonan.nii.ac.jp/seminars/113/"
  links:
    doi: "https://shonan.nii.ac.jp/seminars/113/"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/shonan-reports/KiselyovRNK18"
  researchr: "https://researchr.org/publication/KiselyovRNK18"
  cites: 0
  citedby: 0
  journal: "NII Shonan Meet. Rep."
  volume: "2018"
  kind: "article"
  key: "KiselyovRNK18"
- title: "Programming and Reasoning with Algebraic Effects and Effect Handlers (NII Shonan Meeting 146)"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Sam Lindley"
    link: "https://researchr.org/alias/sam-lindley"
  - name: "Gordon D. Plotkin"
    link: "https://researchr.org/alias/gordon-d.-plotkin"
  - name: "Nicolas Wu"
    link: "https://researchr.org/alias/nicolas-wu"
  year: "2019"
  doi: "https://shonan.nii.ac.jp/seminars/146/"
  links:
    doi: "https://shonan.nii.ac.jp/seminars/146/"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/shonan-reports/KiselyovLPW19"
  researchr: "https://researchr.org/publication/KiselyovLPW19"
  cites: 0
  citedby: 0
  journal: "NII Shonan Meet. Rep."
  volume: "2019"
  kind: "article"
  key: "KiselyovLPW19"
- title: "Relating FFTW and Split-Radix"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11535409_71"
  links:
    doi: "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:
  - name: "Zhaohui Wu"
    link: "https://researchr.org/alias/zhaohui-wu"
  - name: "Chun Chen"
    link: "https://researchr.org/alias/chun-chen"
  - name: "Minyi Guo"
    link: "https://researchr.org/alias/minyi-guo"
  - name: "Jiajun Bu"
    link: "https://researchr.org/alias/jiajun-bu"
  volume: "3605"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28128-2"
  kind: "inproceedings"
  key: "KiselyovT04"
- title: "Lightweight monadic regions"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411286.1411288"
  links:
    doi: "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:
  - name: "Andy Gill"
    link: "http://www.ittc.ku.edu/~andygill/"
  publisher: "ACM"
  isbn: "978-1-60558-064-7"
  kind: "inproceedings"
  key: "KiselyovS08"
- title: "Functional un|unparsing"
  author:
  - name: "Kenichi Asai"
    link: "http://pllab.is.ocha.ac.jp/~asai/"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/s10990-012-9087-2"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-012-9087-2"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/AsaiKS11"
  researchr: "https://researchr.org/publication/AsaiKS11"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "24"
  number: "4"
  pages: "311-340"
  kind: "article"
  key: "AsaiKS11"
- title: "Finally Tagless, Partially Evaluated"
  author:
  - name: "Jacques Carette"
    link: "https://researchr.org/alias/jacques-carette"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76637-7_15"
  links:
    doi: "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:
  - name: "Zhong Shao"
    link: "https://researchr.org/alias/zhong-shao"
  volume: "4807"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-76636-0"
  kind: "inproceedings"
  key: "CaretteKS07"
- title: "\\lambda λ to SKI, Semantically - Declarative Pearl"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2018"
  doi: "https://doi.org/10.1007/978-3-319-90686-7_3"
  links:
    doi: "https://doi.org/10.1007/978-3-319-90686-7_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/Kiselyov18"
  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:
  - name: "John P. Gallagher"
    link: "https://researchr.org/alias/john-p.-gallagher"
  - name: "Martin Sulzmann"
    link: "https://researchr.org/alias/martin-sulzmann"
  volume: "10818"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-90686-7"
  kind: "inproceedings"
  key: "Kiselyov18"
- title: "The reasoned schemer"
  author:
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  - name: "William E. Byrd"
    link: "https://researchr.org/alias/william-e.-byrd"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2005"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0015651"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/0015651"
  cites: 0
  citedby: 0
  publisher: "MIT Press"
  isbn: "978-0-262-56214-0"
  kind: "book"
  key: "0015651"
- title: "Typed Tagless Final Interpreters"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-32202-0_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-32202-0_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssgip/Kiselyov10"
  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:
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  volume: "7470"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-32201-3"
  kind: "inproceedings"
  key: "Kiselyov10-0"
- title: "Staging beyond terms: prospects and challenges"
  author:
  - name: "Jun Inoue"
    link: "https://researchr.org/alias/jun-inoue"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2847538.2847548"
  links:
    doi: "http://doi.acm.org/10.1145/2847538.2847548"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/InoueKK16"
  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:
  - name: "Martin Erwig"
    link: "https://researchr.org/alias/martin-erwig"
  - name: "Tiark Rompf"
    link: "https://researchr.org/alias/tiark-rompf"
  publisher: "ACM"
  isbn: "978-1-4503-4097-7"
  kind: "inproceedings"
  key: "InoueKK16"
- title: "Parameterized extensible effects and session types (extended abstract)"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2976022.2976034"
  links:
    doi: "http://doi.acm.org/10.1145/2976022.2976034"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/Kiselyov16"
  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:
  - name: "James Chapman"
    link: "https://researchr.org/alias/james-chapman"
  - name: "Wouter Swierstra"
    link: "https://researchr.org/alias/wouter-swierstra"
  publisher: "ACM"
  isbn: "978-1-4503-4435-7"
  kind: "inproceedings"
  key: "Kiselyov16"
- title: "Purely functional lazy non-deterministic programming"
  author:
  - name: "Sebastian Fischer"
    link: "https://researchr.org/alias/sebastian-fischer"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1596550.1596556"
  links:
    doi: "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:
  - name: "Graham Hutton"
    link: "https://researchr.org/alias/graham-hutton"
  - name: "Andrew P. Tolmach"
    link: "http://www.cs.pdx.edu/~apt"
  publisher: "ACM"
  isbn: "978-1-60558-332-7"
  kind: "inproceedings"
  key: "FischerKS09"
- title: "Iteratees"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-29822-6_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-29822-6_15"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/Kiselyov12"
  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:
  - name: "Tom Schrijvers"
    link: "https://researchr.org/alias/tom-schrijvers"
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  volume: "7294"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-29821-9"
  kind: "inproceedings"
  key: "Kiselyov12"
- title: "Programming Language Support for Emerging Memory Technologie (NII Shonan Meeting 181)"
  author:
  - name: "Peter Braam"
    link: "https://researchr.org/alias/peter-braam"
  - name: "Jeremy Gibbons"
    link: "https://researchr.org/alias/jeremy-gibbons"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2022"
  doi: "https://shonan.nii.ac.jp/seminars/181/"
  links:
    doi: "https://shonan.nii.ac.jp/seminars/181/"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/shonan-reports/BraamGK22"
  researchr: "https://researchr.org/publication/BraamGK22"
  cites: 0
  citedby: 0
  journal: "NII Shonan Meet. Rep."
  volume: "2022"
  kind: "article"
  key: "BraamGK22"
- title: "Polynomial Event Semantics: Negation - Negation"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2020"
  doi: "https://doi.org/10.1007/978-3-030-79942-7_6"
  links:
    doi: "https://doi.org/10.1007/978-3-030-79942-7_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/jsai/Kiselyov20"
  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:
  - name: "Naoaki Okazaki"
    link: "https://researchr.org/alias/naoaki-okazaki"
  - name: "Katsutoshi Yada"
    link: "https://researchr.org/alias/katsutoshi-yada"
  - name: "Ken Satoh"
    link: "https://researchr.org/alias/ken-satoh"
  - name: "Koji Mineshima"
    link: "https://researchr.org/alias/koji-mineshima"
  volume: "12758"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-79942-7"
  kind: "inproceedings"
  key: "Kiselyov20-0"
- title: "Embedded Probabilistic Programming"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-03034-5_17"
  abstract: "Two general techniques for implementing a domain-specific language (DSL) with less overhead are the finally-tagless embedding of object programs and the direct-style representation of side effects.  We use these techniques to build a DSL for probabilistic programming, for expressing countable probabilistic models and performing exact inference and importance sampling on them. Our language is embedded as an ordinary OCaml library and represents probability distributions as ordinary OCaml programs. We use delimited continuations to reify probabilistic programs as lazy search trees, which inference algorithms may traverse without imposing any interpretive overhead on deterministic parts of a model.  We thus take advantage of the existing OCaml implementation to achieve competitive performance and ease of use.  Inference algorithms can easily be embedded in probabilistic programs themselves. "
  links:
    doi: "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:
  - name: "Walid Mohamed Taha"
    link: "https://researchr.org/alias/walid-mohamed-taha"
  volume: "5658"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-03033-8"
  kind: "inproceedings"
  key: "KiselyovS09"
- title: "Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages"
  author:
  - name: "Jacques Carette"
    link: "https://researchr.org/alias/jacques-carette"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  year: "2009"
  doi: "http://dx.doi.org/10.1017/S0956796809007205"
  abstract: "We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, generalized algebraic data types, or postprocessing to eliminate tags. The statically type-preserving interpretations include an evaluator, a compiler (or staged evaluator), a partial evaluator, and call-by-name and call-by-value CPS transformers. Our principal technique is to encode de Bruijn or higher-order abstract syntax using combinator functions rather than data constructors. In other words, we represent object terms not in an initial algebra but using the coalgebraic structure of the lambda-calculus. Our representation also simulates inductive maps from types to types, which are required for typed partial evaluation and CPS transformations. Our encoding of an object term abstracts uniformly over the family of ways to interpret it, yet statically assures that the interpreters never get stuck.   This family of interpreters thus demonstrates again that it is useful to abstract over higher-kinded types. "
  links:
    doi: "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"
  kind: "article"
  key: "CaretteKS09"
- title: "Functional Stream Libraries and Fusion: What's Next (NII Shonan Meeting 2018-14)"
  author:
  - name: "Aggelos Biboudis"
    link: "https://researchr.org/alias/aggelos-biboudis"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Martin Odersky"
    link: "https://researchr.org/alias/martin-odersky"
  year: "2018"
  doi: "https://shonan.nii.ac.jp/seminars/136/"
  links:
    doi: "https://shonan.nii.ac.jp/seminars/136/"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/shonan-reports/BiboudisKO18"
  researchr: "https://researchr.org/publication/BiboudisKO18"
  cites: 0
  citedby: 0
  journal: "NII Shonan Meet. Rep."
  volume: "2018"
  kind: "article"
  key: "BiboudisKO18"
- title: "Applicative Abstract Categorial Grammars in Full Swing"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-50953-2_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-50953-2_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/jsai/Kiselyov15"
  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:
  - name: "Mihoko Otake"
    link: "https://researchr.org/alias/mihoko-otake"
  - name: "Setsuya Kurahashi"
    link: "https://researchr.org/alias/setsuya-kurahashi"
  - name: "Yuiko Ota"
    link: "https://researchr.org/alias/yuiko-ota"
  - name: "Ken Satoh"
    link: "https://researchr.org/alias/ken-satoh"
  - name: "Daisuke Bekki"
    link: "https://researchr.org/alias/daisuke-bekki"
  volume: "10091"
  series: "Lecture Notes in Computer Science"
  isbn: "978-3-319-50953-2"
  kind: "inproceedings"
  key: "Kiselyov15-0"
- title: "A Delegation Language to Request Weather Products and a Scheme of Its Interpretation"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289423.289472"
  links:
    doi: "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:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Paul Hudak"
    link: "http://www.cs.yale.edu/homes/hudak/"
  - name: "Christian Queinnec"
    link: "https://researchr.org/alias/christian-queinnec"
  address: "Baltimore, Maryland, United States"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Kiselyov98b"
- title: "Many more predecessors: A representation workout"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2020"
  doi: "https://doi.org/10.1017/S095679682000009X"
  links:
    doi: "https://doi.org/10.1017/S095679682000009X"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/Kiselyov20"
  researchr: "https://researchr.org/publication/Kiselyov20"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "30"
  kind: "article"
  key: "Kiselyov20"
- title: "Macros That Compose: Systematic Macro Programming"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870202.htm"
  links:
    doi: "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:
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Charles Consel"
    link: "https://researchr.org/alias/charles-consel"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  volume: "2487"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-44284-7"
  kind: "inproceedings"
  key: "Kiselyov02"
- title: "Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "William E. Byrd"
    link: "https://researchr.org/alias/william-e.-byrd"
  - name: "Daniel P. Friedman"
    link: "https://researchr.org/alias/daniel-p.-friedman"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78969-7_7"
  links:
    doi: "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:
  - name: "Jacques Garrigue"
    link: "https://researchr.org/alias/jacques-garrigue"
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  volume: "4989"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78968-0"
  kind: "inproceedings"
  key: "KiselyovBFS08"
- title: "Generating mutually recursive definitions"
  author:
  - name: "Jeremy Yallop"
    link: "https://researchr.org/alias/jeremy-yallop"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2019"
  doi: "https://doi.org/10.1145/3294032.3294078"
  links:
    doi: "https://doi.org/10.1145/3294032.3294078"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/YallopK19"
  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:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "Atsushi Igarashi"
    link: "https://researchr.org/alias/atsushi-igarashi"
  publisher: "ACM"
  isbn: "978-1-4503-6226-9"
  kind: "inproceedings"
  key: "YallopK19"
- title: "Staging and high-performance computing: theory and practice (NII Shonan Meeting 2014-7)"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Jeremy G. Siek"
    link: "https://researchr.org/alias/jeremy-g.-siek"
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  year: "2014"
  doi: "http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2014-7.pdf"
  links:
    doi: "http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2014-7.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/shonan-reports/KiselyovSK14"
  researchr: "https://researchr.org/publication/KiselyovSK14"
  cites: 0
  citedby: 0
  journal: "NII Shonan Meet. Rep."
  volume: "2014"
  kind: "article"
  key: "KiselyovSK14"
- title: "LAND*: an AND with local bindings, a ::::guarded:::: LET* special form"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289423.289463"
  links:
    doi: "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:
  - name: "Matthias Felleisen"
    link: "http://www.ccs.neu.edu/home/matthias/"
  - name: "Paul Hudak"
    link: "http://www.cs.yale.edu/homes/hudak/"
  - name: "Christian Queinnec"
    link: "https://researchr.org/alias/christian-queinnec"
  address: "Baltimore, Maryland, United States"
  publisher: "ACM"
  kind: "inproceedings"
  key: "Kiselyov98"
- title: "Bridging the theory of staged programming languages and the practice of high-performance computing (NII Shonan Meeting 2012-4)"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  year: "2012"
  doi: "http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2012-4.pdf"
  links:
    doi: "http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2012-4.pdf"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/shonan-reports/KiselyovSK12"
  researchr: "https://researchr.org/publication/KiselyovSK12"
  cites: 0
  citedby: 0
  journal: "NII Shonan Meet. Rep."
  volume: "2012"
  kind: "article"
  key: "KiselyovSK12"
- title: "Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code"
  author:
  - name: "Jacques Carette"
    link: "https://researchr.org/alias/jacques-carette"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11561347_18"
  links:
    doi: "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:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Michael R. Lowry"
    link: "https://researchr.org/alias/michael-r.-lowry"
  volume: "3676"
  series: "Lecture Notes in Computer Science"
  address: "Tallinn, Estonia"
  publisher: "Springer"
  isbn: "3-540-29138-5"
  kind: "inproceedings"
  key: "CaretteK05"
- title: "Language-integrated query with ordering, grouping and outer joins (poster paper)"
  author:
  - name: "Tatsuya Katsushima"
    link: "https://researchr.org/alias/tatsuya-katsushima"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2017"
  doi: "http://dl.acm.org/citation.cfm?id=3018893"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=3018893"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/KatsushimaK17"
  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:
  - name: "Ulrik Pagh Schultz"
    link: "https://researchr.org/alias/ulrik-pagh-schultz"
  - name: "Jeremy Yallop"
    link: "https://researchr.org/alias/jeremy-yallop"
  publisher: "ACM"
  isbn: "978-1-4503-4721-1"
  kind: "inproceedings"
  key: "KatsushimaK17"
- title: "A Lazy CGI Namespace in Scheme"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289423.289479"
  links:
    doi: "http://doi.acm.org/10.1145/289423.289479"
  tags:
  - "laziness"
  researchr: "https://researchr.org/publication/Kiselyov98c"
  cites: 0
  citedby: 0
  pages: "349"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "Kiselyov98c"
- title: "Delimited Continuations in Operating Systems"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74255-5_22"
  links:
    doi: "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:
  - name: "Boicho N. Kokinov"
    link: "https://researchr.org/alias/boicho-n.-kokinov"
  - name: "Daniel C. Richardson"
    link: "https://researchr.org/alias/daniel-c.-richardson"
  - name: "Thomas Roth-Berghofer"
    link: "https://researchr.org/alias/thomas-roth-berghofer"
  - name: "Laure Vieu"
    link: "https://researchr.org/alias/laure-vieu"
  volume: "4635"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74254-8"
  kind: "inproceedings"
  key: "KiselyovS07:1"
- title: "Sound and Efficient Language-Integrated Query - Maintaining the ORDER"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Tatsuya Katsushima"
    link: "https://researchr.org/alias/tatsuya-katsushima"
  year: "2017"
  doi: "https://doi.org/10.1007/978-3-319-71237-6_18"
  links:
    doi: "https://doi.org/10.1007/978-3-319-71237-6_18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aplas/KiselyovK17"
  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:
  - name: "Bor-Yuh Evan Chang"
    link: "https://researchr.org/alias/bor-yuh-evan-chang"
  volume: "10695"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-71237-6"
  kind: "inproceedings"
  key: "KiselyovK17"
- title: "Editorial PEPM2012"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Julia Lawall"
    link: "https://researchr.org/alias/julia-lawall"
  - name: "Simon Thompson"
    link: "https://researchr.org/alias/simon-thompson"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/s10990-013-9092-0"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-013-9092-0"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/lisp/KiselyovLT12"
  researchr: "https://researchr.org/publication/KiselyovLT12"
  cites: 0
  citedby: 0
  journal: "Higher-Order and Symbolic Computation"
  volume: "25"
  number: "1"
  pages: "1-2"
  kind: "article"
  key: "KiselyovLT12"
- title: "Image Compression with Iterated Function Systems, Finite Automate and Zerotrees: Grand Unification"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Paul Fisher"
    link: "https://researchr.org/alias/paul-fisher"
  year: "1996"
  researchr: "https://researchr.org/publication/KiselyovF96"
  cites: 0
  citedby: 0
  pages: "443"
  booktitle: "Data Compression Conference"
  kind: "inproceedings"
  key: "KiselyovF96"
- title: "SXSLT: Manipulation Language for XML"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2562/25620256.htm"
  links:
    doi: "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:
  - name: "Verónica Dahl"
    link: "https://researchr.org/alias/ver%C3%B3nica-dahl"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  volume: "2562"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-00389-4"
  kind: "inproceedings"
  key: "KiselyovK03"
- title: "Monolingual Probabilistic Programming Using Generalized Coroutines"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2009"
  doi: "http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1601&proceeding_id=25"
  links:
    doi: "http://uai.sis.pitt.edu/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1601&proceeding_id=25"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/uai/KiselyovS09"
  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:
  - name: "Jeff Bilmes"
    link: "https://researchr.org/alias/jeff-bilmes"
  - name: "Andrew Y. Ng"
    link: "https://researchr.org/alias/andrew-y.-ng"
  publisher: "AUAI Press"
  kind: "inproceedings"
  key: "KiselyovS09-0"
- title: "Fun with Type Functions"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-1-84882-912-1_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-1-84882-912-1_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/p/KiselyovJS10"
  researchr: "https://researchr.org/publication/KiselyovJS10"
  cites: 0
  citedby: 0
  pages: "301-331"
  booktitle: "Reflections on the Work of C. A. R. Hoare"
  editor:
  - name: "A. W. Roscoe"
    link: "https://researchr.org/alias/a.-w.-roscoe"
  - name: "Clifford B. Jones"
    link: "https://researchr.org/alias/clifford-b.-jones"
  - name: "Kenneth R. Wood"
    link: "https://researchr.org/alias/kenneth-r.-wood"
  publisher: "Springer"
  isbn: "978-1-84882-911-4"
  kind: "incollection"
  key: "KiselyovJS10"
- title: "Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143)"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Anil Madhavapeddy"
    link: "https://researchr.org/alias/anil-madhavapeddy"
  - name: "K. C. Sivaramakrishnan"
    link: "https://researchr.org/alias/k.-c.-sivaramakrishnan"
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  year: "2019"
  doi: "https://shonan.nii.ac.jp/seminars/143/"
  links:
    doi: "https://shonan.nii.ac.jp/seminars/143/"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/shonan-reports/KiselyovMSJ19"
  researchr: "https://researchr.org/publication/KiselyovMSJ19"
  cites: 0
  citedby: 0
  journal: "NII Shonan Meet. Rep."
  volume: "2019"
  kind: "article"
  key: "KiselyovMSJ19"
- title: "Lambek Grammars as Second-Order Abstract Categorial Grammars"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Yuya Hoshino"
    link: "https://researchr.org/alias/yuya-hoshino"
  year: "2019"
  doi: "https://doi.org/10.1007/978-3-030-58790-1_15"
  links:
    doi: "https://doi.org/10.1007/978-3-030-58790-1_15"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/jsai/KiselyovH19"
  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:
  - name: "Maki Sakamoto"
    link: "https://researchr.org/alias/maki-sakamoto"
  - name: "Naoaki Okazaki"
    link: "https://researchr.org/alias/naoaki-okazaki"
  - name: "Koji Mineshima"
    link: "https://researchr.org/alias/koji-mineshima"
  - name: "Ken Satoh"
    link: "https://researchr.org/alias/ken-satoh"
  volume: "12331"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-58790-1"
  kind: "inproceedings"
  key: "KiselyovH19"
- title: "Shifting the stage: staging with delimited control"
  author:
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480945.1480962"
  abstract: "It is often hard to write programs that are efficient yet reusable. For example, an efficient implementation of Gaussian elimination should be specialized to the structure and known static properties of the input matrix. The most profitable optimizations, such as choosing the best pivoting or memoization, cannot be expected of even an advanced compiler because they are specific to the domain, but expressing these optimizations directly makes for ungainly source code.  Instead, a promising and popular way to reconcile efficiency with reusability is for a domain expert to write code generators. Two pillars of this approach are types and effects.  Typed multilevel languages such as MetaOCaml ensure safety and early error reporting: a well-typed code generator neither goes wrong nor generates code that goes wrong.  Side effects such as state and control ease correctness and expressivity: an effectful generator can resemble the textbook presentation of an algorithm, as is familiar to domain experts, yet insert `let' for memoization and `if' for bounds-checking, as is necessary for efficiency. Together types and effects enable structuring code generators as compositions of modules with well-defined interfaces, and hence scaling to large programs.  However, blindly adding effects renders multilevel types unsound. We introduce the first multilevel calculus with control effects and a sound type system. We give small-step operational semantics  as well as a one-pass continuation-passing style (CPS) translation. For soundness, our calculus restricts the code generator's effects to the scope of generated binders.  Even with this restriction, we can finally write efficient code generators for dynamic programming and numerical methods in direct style, like in algorithm textbooks, rather than in CPS or monadic style. "
  links:
    doi: "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:
  - name: "Germán Puebla"
    link: "https://researchr.org/alias/germ%C3%A1n-puebla"
  - name: "Germán Vidal"
    link: "http://users.dsic.upv.es/~gvidal/"
  publisher: "ACM"
  isbn: "978-1-60558-327-3"
  kind: "inproceedings"
  key: "KameyamaKS09"
- title: "Closing the stage: from staged code to typed closures"
  author:
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1328408.1328430"
  links:
    doi: "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:
  - name: "Robert Glück"
    link: "http://www.diku.dk/hjemmesider/ansatte/glueck/"
  - name: "Oege de Moor"
    link: "http://progtools.comlab.ox.ac.uk/members/oege"
  publisher: "ACM"
  isbn: "978-1-59593-977-7"
  kind: "inproceedings"
  key: "KameyamaKS08"
- title: "Comment on   On the Application of a Popular Notation to Semantics   and reply from the Autor"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Richard J. Botting"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "KiselyovB99"
- title: "Purely functional lazy nondeterministic programming"
  author:
  - name: "Sebastian Fischer"
    link: "https://researchr.org/alias/sebastian-fischer"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2011"
  doi: "http://dx.doi.org/10.1017/S0956796811000189"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796811000189"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/FischerKS11"
  researchr: "https://researchr.org/publication/FischerKS11"
  cites: 0
  citedby: 0
  journal: "Journal of Functional Programming"
  volume: "21"
  number: "4-5"
  pages: "413-465"
  kind: "article"
  key: "FischerKS11"
- title: "Stream fusion, to completeness"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Aggelos Biboudis"
    link: "https://researchr.org/alias/aggelos-biboudis"
  - name: "Nick Palladinos"
    link: "https://researchr.org/alias/nick-palladinos"
  - name: "Yannis Smaragdakis"
    link: "https://researchr.org/alias/yannis-smaragdakis"
  year: "2017"
  doi: "http://dl.acm.org/citation.cfm?id=3009880"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=3009880"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/KiselyovBPS17"
  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:
  - name: "Giuseppe Castagna"
    link: "https://researchr.org/alias/giuseppe-castagna"
  - name: "Andrew D. Gordon"
    link: "https://researchr.org/alias/andrew-d.-gordon"
  publisher: "ACM"
  isbn: "978-1-4503-4660-3"
  kind: "inproceedings"
  key: "KiselyovBPS17"
- title: "In search of a program generator to implement generic transformations for high-performance computing"
  author:
  - name: "Albert Cohen"
    link: "https://researchr.org/alias/albert-cohen"
  - name: "Sébastien Donadio"
    link: "https://researchr.org/alias/s%C3%A9bastien-donadio"
  - name: "María Jesús Garzarán"
    link: "https://researchr.org/alias/mar%C3%ADa-jes%C3%BAs-garzar%C3%A1n"
  - name: "Christoph Armin Herrmann"
    link: "https://researchr.org/alias/christoph-armin-herrmann"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "David A. Padua"
    link: "https://researchr.org/alias/david-a.-padua"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.scico.2005.10.013"
  links:
    doi: "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"
  kind: "article"
  key: "CohenDGHKP06"
- title: "Reconciling Abstraction with High Performance: A MetaOCaml approach"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2018"
  doi: "https://doi.org/10.1561/2500000038"
  links:
    doi: "https://doi.org/10.1561/2500000038"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ftpl/Kiselyov18"
  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"
  kind: "article"
  key: "Kiselyov18-0"
- title: "Combinators for impure yet hygienic code generation"
  author:
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "https://researchr.org/alias/chung-chieh-shan"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2543728.2543740"
  links:
    doi: "http://doi.acm.org/10.1145/2543728.2543740"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/KameyamaKS14"
  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:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  - name: "Jurriaan Hage"
    link: "https://researchr.org/alias/jurriaan-hage"
  publisher: "ACM"
  isbn: "978-1-4503-2619-3"
  kind: "inproceedings"
  key: "KameyamaKS14"
- title: "A Better XML Parser through Functional Programming"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2257/22570209.htm"
  links:
    doi: "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:
  - name: "Shriram Krishnamurthi"
    link: "http://www.cs.brown.edu/~sk/"
  - name: "C. R. Ramakrishnan"
    link: "https://researchr.org/alias/c.-r.-ramakrishnan"
  volume: "2257"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43092-X"
  kind: "inproceedings"
  key: "Kiselyov02:0"
- title: "Lightweight Static Capabilities"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Chung-chieh Shan"
    link: "http://www.cs.rutgers.edu/~ccshan/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.039"
  links:
    doi: "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"
  kind: "article"
  key: "KiselyovS07"
- title: "Preface: Functional and Logic Programming (FLOPS 2016)"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Andy King"
    link: "https://researchr.org/alias/andy-king"
  year: "2018"
  doi: "https://doi.org/10.1016/j.scico.2018.03.005"
  links:
    doi: "https://doi.org/10.1016/j.scico.2018.03.005"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/KiselyovK18"
  researchr: "https://researchr.org/publication/KiselyovK18"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "164"
  pages: "1-2"
  kind: "article"
  key: "KiselyovK18"
- title: "Finally, safely-extensible and efficient language-integrated query"
  author:
  - name: "Kenichi Suzuki"
    link: "https://researchr.org/alias/kenichi-suzuki"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Yukiyoshi Kameyama"
    link: "https://researchr.org/alias/yukiyoshi-kameyama"
  year: "2016"
  doi: "http://doi.acm.org/10.1145/2847538.2847542"
  links:
    doi: "http://doi.acm.org/10.1145/2847538.2847542"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/SuzukiKK16"
  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:
  - name: "Martin Erwig"
    link: "https://researchr.org/alias/martin-erwig"
  - name: "Tiark Rompf"
    link: "https://researchr.org/alias/tiark-rompf"
  publisher: "ACM"
  isbn: "978-1-4503-4097-7"
  kind: "inproceedings"
  key: "SuzukiKK16"
- title: "A network file system over HTTP: remote access and modification of files and ::::files::::"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "1999"
  doi: "http://www.usenix.org/events/usenix99/kiselyov.html"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Kiselyov99"
- title: "Reflection without remorse: revealing a hidden sequence to speed up monadic reflection"
  author:
  - name: "Atze van der Ploeg"
    link: "https://researchr.org/alias/atze-van-der-ploeg"
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2633357.2633360"
  links:
    doi: "http://doi.acm.org/10.1145/2633357.2633360"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/PloegK14"
  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:
  - name: "Wouter Swierstra"
    link: "https://researchr.org/alias/wouter-swierstra"
  publisher: "ACM"
  isbn: "978-1-4503-3041-1"
  kind: "inproceedings"
  key: "PloegK14"
- title: "Generating C - System Description"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2022"
  doi: "https://doi.org/10.1007/978-3-030-99461-7_5"
  links:
    doi: "https://doi.org/10.1007/978-3-030-99461-7_5"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/Kiselyov22"
  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:
  - name: "Michael Hanus"
    link: "https://researchr.org/alias/michael-hanus"
  - name: "Atsushi Igarashi"
    link: "https://researchr.org/alias/atsushi-igarashi"
  volume: "13215"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-030-99461-7"
  kind: "inproceedings"
  key: "Kiselyov22"
- title: "The Design and Implementation of BER MetaOCaml - System Description"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-319-07151-0_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-07151-0_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/Kiselyov14"
  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:
  - name: "Michael Codish"
    link: "https://researchr.org/alias/michael-codish"
  - name: "Eijiro Sumii"
    link: "https://researchr.org/alias/eijiro-sumii"
  volume: "8475"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-07150-3"
  kind: "inproceedings"
  key: "Kiselyov14"
- title: "Self-Similarity of the Multiresolutional Image/Video Decomposition: Smart Expansion as Compression of Still and Moving Pictures"
  author:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Paul Fisher"
    link: "https://researchr.org/alias/paul-fisher"
  year: "1994"
  researchr: "https://researchr.org/publication/KiselyovF94"
  cites: 0
  citedby: 0
  pages: "331-340"
  booktitle: "Data Compression Conference"
  kind: "inproceedings"
  key: "KiselyovF94"
- 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"
  doi: "http://dl.acm.org/citation.cfm?id=2103746"
  links:
    doi: "http://dl.acm.org/citation.cfm?id=2103746"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pepm/2012"
  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:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Simon Thompson"
    link: "https://researchr.org/alias/simon-thompson"
  publisher: "ACM"
  isbn: "978-1-4503-1118-2"
  kind: "proceedings"
  key: "pepm-2012"
- title: "Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-29604-3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-29604-3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/flops/2016"
  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:
  - name: "Oleg Kiselyov"
    link: "http://okmij.org/ftp/"
  - name: "Andy King"
    link: "https://researchr.org/alias/andy-king"
  volume: "9613"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-29603-6"
  kind: "proceedings"
  key: "flops-2016"