• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Kiselyov Oleg  Kiselyov Oleg

ORCIDConnect your ORCID iD *help
… Alternative Names

KISELYOV Oleg  Kiselyov Oleg

Less
Researcher Number 50754602
Other IDs
Affiliation (Current) 2025: 東北大学, 情報科学研究科, 客員研究員
Affiliation (based on the past Project Information) *help 2024: 東北大学, 情報科学研究科, 客員研究員
2017 – 2023: 東北大学, 情報科学研究科, 助教
2015: 東北大学, 情報科学研究科, 助教
Review Section/Research Field
Principal Investigator
Basic Section 60050:Software-related / Software
Except Principal Investigator
Basic Section 60050:Software-related / Software
Keywords
Principal Investigator
DSL / Info flow processing / Stream processing / complex event processing / sensor fusion / software-defined radio / info flow processing / stream processing / 関数プログラミング / プログラミング言語 … More / ソフトウエア学 / ソフトウエア開発効率化・安定化 / NBE / domain-specifc language / domain-specific language / algebra / denotational semantics / tagless-final / Domain-specific language … More
Except Principal Investigator
型システム / プログラム生成 / 依存型 / プログラム解析 / 段階的計算 / 計算エフェクト / 高性能計算 / プログラム特化 / オフショアリング / 暗号実装 / ヘテロジニアス・コード生成 / メタプログラミング / プログラム解析・検証 / 仕様記述 / 安全性 / スクープ安全性 / 多相型 / 統合言語クエリ / ヘテロジニアスプログラム生成 / モジュール抽象 / 静的安全性 / 一般化代数データ型 / コントロールオペレータ / 先進的型システム / プログラムの信頼性 / 異種プログラム生成 / モジュール / 型安全性 / 多段階計算 / ソフトウェア検証 / プログラミング言語 / 実行時プログラム生成 / 関数型プログラミング言語 / プログラム変換 / プログラム検証 / 関数型プログラム言語 / ディペンダブルコンピューティング Less
  • Research Projects

    (5 results)
  • Research Products

    (81 results)
  • Co-Researchers

    (4 People)
  •  Theory and Implementation of Staged Computation with Dependent Types

    • Principal Investigator
      亀山 幸義
    • Project Period (FY)
      2022 – 2025
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      University of Tsukuba
  •  Perfect Stream Fusion for Information Flow ProcessingPrincipal Investigator

    • Principal Investigator
      Kiselyov Oleg
    • Project Period (FY)
      2021 – 2024
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      Tohoku University
  •  Staged Computing based on Advanced Type Systems

    • Principal Investigator
      Kameyama Yukiyoshi
    • Project Period (FY)
      2018 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Review Section
      Basic Section 60050:Software-related
    • Research Institution
      University of Tsukuba
  •  Tagless-final DSL embedding: how to keep extending the language and be sure it will still workPrincipal Investigator

    • Principal Investigator
      KISELYOV Oleg
    • Project Period (FY)
      2017 – 2022
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      Tohoku University
  •  Study on Highly Reliable Programming Languages for Code Generation

    • Principal Investigator
      KAMEYAMA YUKIYOSHI
    • Project Period (FY)
      2013 – 2015
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Software
    • Research Institution
      University of Tsukuba

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 Other

All Journal Article Presentation Book

  • [Book] NII Shonan Meeting report No. 1462019

    • Author(s)
      Sam Lindley, Nicolas Wu, Oleg Kiselyov, Gordon Plotkin
    • Total Pages
      11
    • Publisher
      Programming and Reasoning with Algebraic Effects and Effect Handlers
    • ISBN
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Book] Reconciling Abstraction with High Performance: A MetaOCaml approach2018

    • Author(s)
      Oleg Kiselyov
    • Total Pages
      112
    • Publisher
      Now Publishers
    • ISBN
      9781680834369
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Complete Stream Fusion for Software-Defined Radio2024

    • Author(s)
      Kobayashi Tomoaki、Kiselyov Oleg
    • Journal Title

      Proc. PEPM 2024 (ACM DL)

      Volume: n/a Pages: 57-69

    • DOI

      10.1145/3635800.3636962

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Journal Article] Generating C: Heterogeneous metaprogramming system description2024

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Science of Computer Programming

      Volume: 231 Pages: 103015-103015

    • DOI

      10.1016/j.scico.2023.103015

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821, KAKENHI-PROJECT-23K24819
  • [Journal Article] MetaOCaml Theory and Implementation2023

    • Author(s)
      Oleg Kiselyov
    • Journal Title

      ACM SIGPLAN OCAML 2023 workshop

      Volume: -

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Journal Article] Events and Relative Clauses2023

    • Author(s)
      Oleg Kiselyov and Haruki Watanabe
    • Journal Title

      Lecture Notes in Computer Science

      Volume: in print

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Free Variable as Effect, in Practice2023

    • Author(s)
      Oleg Kiselyov
    • Journal Title

      ACM SIGPLAN HOPE 2023 workshop

      Volume: -

    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Journal Article] Generating C2022

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 13215 Pages: 75-93

    • DOI

      10.1007/978-3-030-99461-7_5

    • ISBN
      9783030994600, 9783030994617
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821, KAKENHI-PROJECT-17K00091, KAKENHI-PROJECT-23K24819
  • [Journal Article] Complete Stream Fusion for Software-Defined Radio2022

    • Author(s)
      Tomoaki Kobayashi and Oleg Kiselyov
    • Journal Title

      ArXiv

      Volume: 2208.08732

    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Journal Article] Generating C: System Description2022

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Accepted for FLOPS 2022 and in press

      Volume: n/a

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Journal Article] New View on Plasma Fractals -- From the High Point of Array Languages2022

    • Author(s)
      Oleg Kiselyov, Toshihiro Nakayama
    • Journal Title

      ACM SIGPLAN FARM 2022 workshop/Arxiv

      Volume: 2212.12502

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Journal Article] Highest-performance Stream Processing2022

    • Author(s)
      Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos
    • Journal Title

      ACM SIGPLAN OCaml Workshop/ArXiv

      Volume: 2211.13461

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Journal Article] Generating C: System Description2022

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      LNCS, Proc. of FLOPS 2022, accepted and in print

      Volume: n/a

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Do Mutable Variables Have Reference Types?2022

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      ACM SIGPLAN ML Family Workshop 2022/ ArXiv

      Volume: 2211.04107

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] All Things Flow: Unfolding the History of Streams2021

    • Author(s)
      Aggelos Biboudis, Jeremy Gibbons, Oleg Kiselyov
    • Journal Title

      Proceedings of HAPOC 21

      Volume: HAPOC21

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Journal Article] Polynomial Event Semantics: Negation2021

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12758 Pages: 82-95

    • DOI

      10.1007/978-3-030-79942-7_6

    • ISBN
      9783030799410, 9783030799427
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Not by equations alone: Reasoning with extensible effects2021

    • Author(s)
      KISELYOV OLEG、MU SHIN-CHENG、SABRY AMR
    • Journal Title

      Journal of Functional Programming

      Volume: 31

    • DOI

      10.1017/s0956796820000271

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091, KAKENHI-PROJECT-18H03218
  • [Journal Article] より清浄なStream Fusion2020

    • Author(s)
      小林 友明, Oleg Kiselyov
    • Journal Title

      日本ソフトウェア科学会第37回大会, 2020

      Volume: -

    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Lambek Grammars as Second-Order Abstract Categorial Grammars2020

    • Author(s)
      Kiselyov Oleg、Hoshino Yuya
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12331 Pages: 231-243

    • DOI

      10.1007/978-3-030-58790-1_15

    • ISBN
      9783030587895, 9783030587901
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Many more predecessors: A representation workout2020

    • Author(s)
      KISELYOV OLEG
    • Journal Title

      Journal of Functional Programming

      Volume: 30

    • DOI

      10.1017/s095679682000009x

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Lambek Grammars as Second-order Abstract Categorial Grammars2020

    • Author(s)
      Oleg Kiselyov and Hoshino Yuya
    • Journal Title

      Lecture Notes in Computer Science (in Press)

      Volume: in press

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Session Types Without Sophistry2020

    • Author(s)
      Kiselyov Oleg、Imai Keigo
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 12073 Pages: 66-87

    • DOI

      10.1007/978-3-030-59025-3_5

    • ISBN
      9783030590246, 9783030590253
    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091, KAKENHI-PROJECT-17K12662, KAKENHI-PROJECT-18H03218
  • [Journal Article] Polynomial Event Semantics2019

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 11717 Pages: 313-324

    • DOI

      10.1007/978-3-030-31605-1_23

    • ISBN
      9783030316044, 9783030316051
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Effects Without Monads: Non-determinism ? Back to the Meta Language2019

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 294 Pages: 15-40

    • DOI

      10.4204/eptcs.294.2

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Generating Mutually Recursive Definitions2019

    • Author(s)
      Jeremy Yallop, Oleg Kiselyov
    • Journal Title

      Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: - Pages: 75-81

    • DOI

      10.1145/3294032.3294078

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] $$\lambda $$λ to SKI, Semantically2018

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10818 Pages: 33-50

    • DOI

      10.1007/978-3-319-90686-7_3

    • ISBN
      9783319906850, 9783319906867
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Functional Stream Libraries and Fusion: What's Next?2018

    • Author(s)
      Aggelos Biboudis (EPFL, Switzerland), Oleg Kiselyov, Martin Odersky (EPFL, Switzerland)
    • Journal Title

      NII Shonan Seminar Report

      Volume: No.2018-14

    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Meta-Programming for Statistical Machine Learning2018

    • Author(s)
      Oleg Kiselyov, Tiark Rompf, Jennifer Neville, Yukiyoshi Kameyama
    • Journal Title

      NII Shonan Seminar Report,

      Volume: No. 2018-7

    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Journal Article] Eff Directly in OCaml2018

    • Author(s)
      Kiselyov Oleg、Sivaramakrishnan KC
    • Journal Title

      Electronic Proceedings in Theoretical Computer Science

      Volume: 285 Pages: 23-58

    • DOI

      10.4204/eptcs.285.2

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Transformational Semantics (TS) on a Tree Bank2018

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Lecture Notes in Computer Science

      Volume: in press

    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Transformational Semantics on a Tree Bank2018

    • Author(s)
      Kiselyov Oleg
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10838 Pages: 241-252

    • DOI

      10.1007/978-3-319-93794-6_17

    • ISBN
      9783319937939, 9783319937946
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Higher-order Programming is an Effect2017

    • Author(s)
      Oleg Kiselyov
    • Journal Title

      Informal Proc. HOPE 2017 at ICFP 2017. Oxford, UK, Sep 3, 2017

      Volume: na

    • Peer Reviewed / Open Access / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Sound and Efficient Language-Integrated Query2017

    • Author(s)
      Kiselyov Oleg、Katsushima Tatsuya
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 10695 Pages: 364-383

    • DOI

      10.1007/978-3-319-71237-6_18

    • ISBN
      9783319712369, 9783319712376
    • Peer Reviewed / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Journal Article] Staging beyond terms: prospects and challenges2016

    • Author(s)
      Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: なし Pages: 103-108

    • DOI

      10.1145/2847538.2847548

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Finally, safely-extensible and efficient language-integrated query2016

    • Author(s)
      Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama
    • Journal Title

      Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: なし Pages: 37-48

    • DOI

      10.1145/2847538.2847542

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] ついにSQLを組み立てる:拡張可能で安全な統合言語クエリ2015

    • Author(s)
      鈴木健一、亀山幸義、オレッグキセリョーフ
    • Journal Title

      第17回プログラミングおよびプログラミング言語ワークショップ論文集(オンライン)

      Volume: 17 Pages: 17-17

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Combinators for impure yet hygienic code generation2015

    • Author(s)
      Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
    • Journal Title

      Science of Computer Programming

      Volume: 112 Pages: 120-144

    • DOI

      10.1016/j.scico.2015.08.007

    • Peer Reviewed / Acknowledgement Compliant / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] The Next Stage of Staging2015

    • Author(s)
      Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
    • Journal Title

      第17回プログラミングおよびプログラミング言語ワークショップ論文集(オンライン)

      Volume: 17 Pages: 11-11

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Journal Article] Combinators for Impure yet Hygienic Code Generation2014

    • Author(s)
      Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan
    • Journal Title

      Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

      Volume: 2014 Pages: 3-14

    • DOI

      10.1145/2543728.2543740

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Presentation] The Mysteries of AXPY2024

    • Author(s)
      Oleg Kiselyov
    • Organizer
      IFIP WG 2.11
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Presentation] ARPL Tutorial2023

    • Author(s)
      Oleg Kiselyov
    • Organizer
      <Programming> 23
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Presentation] Free Variable as Effect, in Practice2023

    • Author(s)
      Oleg Kiselyov
    • Organizer
      ACM SIGPLAN HOPE Workshop 2023
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] MetaOCaml Theory and Implementation2023

    • Author(s)
      Oleg Kiselyov
    • Organizer
      ACM SIGPLAN OCaml Workshop 2023
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] let (rec) insertion without Effects, Lights or Magic2022

    • Author(s)
      Oleg Kiselyov and Jeremy Yallop
    • Organizer
      ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Even Better Stream Fusion2022

    • Author(s)
      Kiselyov Oleg
    • Organizer
      University of Oxford Department of Computer Science. Seminar on Tensor Computation
    • Invited
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Presentation] Lambek Grammars and a New Look to Context-Free Grammars (half-tutorial)2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      AiDL 2022 workshop
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Generating C - System Description2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      16th International Symposium on Functional and Logic Programming (FLOPS 2022)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-23K24819
  • [Presentation] 配列言語によるプラズマフラクタル生成アルゴリズムの実装と検討(ポスター・デモ)2022

    • Author(s)
      中山敏宏 and Oleg Kiselyov
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Presentation] Generating C2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      FLOPS 2022
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Presentation] Highest-performance Stream Processing2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      ACM SIGPLAN OCaml workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Presentation] Do Mutable Variables Have Reference Types?2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      ACM SIGPLAN ML 2022 Workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Events and Relative Clauses2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      LENLS (Logic and Engineering of Natural Language Semantics 19)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Mutable Variables and Reference Types -- or, L-values Demystified2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      IFIP WG2.1
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Presentation] Completeなストリーム融合によるソフトウェア無線のディジタル信号処理(ポスター)2022

    • Author(s)
      小林友明, Oleg Kiselyov
    • Organizer
      第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Presentation] Generating C2022

    • Author(s)
      Oleg Kiselyov
    • Organizer
      FLOPS 2022
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Grasping `all-the-apples-at-once’2021

    • Author(s)
      Kiselyov Oleg
    • Organizer
      IFIP WG2.1 Meeting, July 1, 2021
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-21K11821
  • [Presentation] 配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語(ポスター・デモ)2021

    • Author(s)
      庄司諭, Oleg Kiselyov
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ(PPL 2021)
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] 配列言語の長所を分かりやすく味わう: OCaml上の埋め込み配列言語2021

    • Author(s)
      庄司諭 Oleg Kiselyov
    • Organizer
      第23回プログラミングおよびプログラミング言語ワークショップ
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] QNP Textual Entailment with Polynomial Event Semantics2021

    • Author(s)
      Oleg Kiselyov
    • Organizer
      LENLS18 (Logic and Engineering of Natural Language Semantics 18)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Session Types without Sophistry2020

    • Author(s)
      Keigo Imai, Oleg Kiselyov
    • Organizer
      nternational Symposium on Functional and Logic Programming (FLOPS 2020)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Polynomial Event Semantics: Negation2020

    • Author(s)
      Oleg Kiselyov
    • Organizer
      Logic and Engineering of Natural Language Semantics 17 (LENLS17)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] より清浄なStream Fusion2020

    • Author(s)
      小林 友明, Oleg Kiselyov
    • Organizer
      日本ソフトウェア科学会第37回大会
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems2019

    • Author(s)
      Oleg Kiselyov
    • Organizer
      IFIP WG2.11 20th Meeting
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] let (rec) insertion without effects, lights or magic2019

    • Author(s)
      Oleg Kiselyov, Jeremy Yallop
    • Organizer
      ML Family Workshop
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] セッション型、簡潔に2019

    • Author(s)
      オレッグ キセリョーヴ 今井 敬吾
    • Organizer
      第21回プログラミングおよびプログラミング言語ワークショップ (poster)
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] From the tagless-final cookbook: simple hardware description language and optimization-by-evaluation2019

    • Author(s)
      Oleg Kiselyov
    • Organizer
      Second International Summer School on Metaprogramming, Schloss Dagstuhl
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Lambek Grammars as Second-order Abstract Categorial Grammars2019

    • Author(s)
      Oleg Kiselyov
    • Organizer
      Logic and Engineering of Natural Language Semantics, LENLS16
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Session types without sophistry2018

    • Author(s)
      Oleg Kiselyov
    • Organizer
      IFIP Working Group 2.11, 18th meeting (Kyoto, Japan)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-18H03218
  • [Presentation] Lambda to SKI2018

    • Author(s)
      Oleg Kiselyov
    • Organizer
      IFIP Working Group 2.1, 77th meeting (Brandenburg, Germany)
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] lambda to SKI, Semantically. Declarative Pearl2018

    • Author(s)
      Oleg Kiselyov
    • Organizer
      Fourteenth International Symposium on Functional and Logic Programming
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Polynomial event Semantics: Non-Montagovian proper treatment of quantifiers.2018

    • Author(s)
      Oleg Kiselyov
    • Organizer
      Logic and Engineering of Natural Language Semantics, LENLS15
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] tagless-final・extensible-effectsから機械自然言語理解まで [C3 (ポスター・デモ)]2018

    • Author(s)
      Oleg Kiselyov
    • Organizer
      第20回プログラミングおよびプログラミング言語ワークショップ PPL 2018
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Sound and Efficient Language-Integrated Query -- Maintaining the ORDER2017

    • Author(s)
      Oleg Kiselyov
    • Organizer
      APLAS 2017
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Effects without monads: non-determinism2017

    • Author(s)
      Oleg Kiselyov
    • Organizer
      ML Family workshop at ICFP 2017
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Transformational Semantics (TS) on a Tree Bank2017

    • Author(s)
      Oleg Kiselyov
    • Organizer
      LENLS 14
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Sound and Efficient Language-Integrated Query: Maintaining the ORDER2017

    • Author(s)
      Oleg Kiselyov
    • Organizer
      EPFL, IC Colloquium (EPFL, Lausanne, Switzerland)
    • Invited
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Higher-order Programming is an Effect2017

    • Author(s)
      Oleg Kiselyov
    • Organizer
      HOPE 2017 at ICFP 2017
    • Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] Systematic Generation of Optimal Code2017

    • Author(s)
      Oleg Kiselyov
    • Organizer
      Tutorial at IFL 2017
    • Invited / Int'l Joint Research
    • Data Source
      KAKENHI-PROJECT-17K00091
  • [Presentation] 拡張可能で安全な統合言語クエリ (ポスター発表)2014

    • Author(s)
      鈴木健一、亀山幸義、オレッグキセリョーフ
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学(愛知)
    • Year and Date
      2014-09-09
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Presentation] コード生成のための自然演繹

    • Author(s)
      須藤悠斗、Oleg Kiselyov, 亀山幸義
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学(愛知)
    • Year and Date
      2014-09-08 – 2014-09-10
    • Data Source
      KAKENHI-PROJECT-25280020
  • [Presentation] Prolog 再考: 急がないで推測

    • Author(s)
      Oleg Kiselyov, 亀山幸義
    • Organizer
      日本ソフトウェア科学会第31回大会
    • Place of Presentation
      名古屋大学(愛知)
    • Year and Date
      2014-09-08 – 2014-09-10
    • Data Source
      KAKENHI-PROJECT-25280020
  • 1.  KAMEYAMA YUKIYOSHI (10195000)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 10 results
  • 2.  ASAI Kenichi (10262156)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  IGARASHI Atsushi (40323456)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  UNNO Hiroshi (80569575)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi