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: "FLOPS"
  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: "haskell"
  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: "FLOPS"
  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: "TCS"
  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: "haskell"
  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: "icalp"
  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: "JFP"
  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: "jsai"
  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: "aplas"
  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: "jsai"
  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: "FLOPS"
  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: "tlca"
  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: "haskell"
  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: "JFP"
  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: "haskell"
  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"
  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: "haskell"
  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: "SCP"
  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"
  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: "aplas"
  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: "PEPM"
  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: "ICFP"
  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: "SCP"
  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: "jsai"
  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: "lisp"
  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: "ICFP"
  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: "jsai"
  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: "aplas"
  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: "PEPM"
  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: "shonan-reports"
  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: "shonan-reports"
  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: "icess"
  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: "haskell"
  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: "lisp"
  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: "aplas"
  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: "FLOPS"
  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: "ssgip"
  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: "PEPM"
  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: "ICFP"
  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: "ICFP"
  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: "FLOPS"
  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: "shonan-reports"
  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: "jsai"
  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: "DSL"
  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: "JFP"
  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: "shonan-reports"
  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: "jsai"
  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: "ICFP"
  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: "JFP"
  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: "GPCE"
  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: "FLOPS"
  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: "PEPM"
  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: "shonan-reports"
  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: "ICFP"
  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: "shonan-reports"
  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: "GPCE"
  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: "PEPM"
  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: "context"
  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: "aplas"
  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: "lisp"
  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: "dcc"
  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: "PADL"
  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"
  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: "shonan-reports"
  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: "jsai"
  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: "PEPM"
  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: "PEPM"
  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"
  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: "JFP"
  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: "POPL"
  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: "SCP"
  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: "FTPL"
  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: "PEPM"
  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: "PADL"
  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: "ENTCS"
  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: "SCP"
  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: "PEPM"
  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: "usenix"
  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: "haskell"
  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: "FLOPS"
  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: "FLOPS"
  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: "dcc"
  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"