Keigo Imai

Ad hoc polymorphism with Placeholders in OCaml

Masaki Ito, Keigo Imai

第143回プログラミング研究発表会, Mar 23, 2023

Infinite Trace Semantics for Asynchronous Multiparty Session Types via Bounded Coinductive Definition

Keigo Imai

第141回プログラミング研究発表会, Oct 27, 2022

The System SOL version 2022

Makoto Hamana, Keigo Imai

WST 2022: 18th International Workshop on Termination, Aug 12, 2022

114

Polymorphic Multiparty Session Handlers in OCaml

Keigo Imai

PLACES 2022: 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software, Munich, Germany, Apr 3, 2022

文脈自由マルチパーティセッション型の実装 (ポスター)

木村駿介, 今井敬吾

PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ, Mar 8, 2022

OCamlのための構文上の穴を用いたアドホック多相のプリプロセッサによる実装 (ポスター)

伊藤将希, 今井敬吾

PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ, Mar 7, 2022

Kmclib: Automated Inference and Verification of Session Types (PPL Category 2)

Keigo Imai, Julien Lange, Rumyana Neykova

PPL 2022: 第 24 回プログラミングおよびプログラミング言語ワークショップ, Mar 6, 2022

Verifying Session-Typed Concurrent Programs using Typed PPX in OCaml

Keigo Imai, Julien Lange, Rumyana Neykova

第137回プログラミング研究発表会, Jan 12, 2022

Verifying Multiparty Communication Protocols using ML Type Systems

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

ML'21: ML Workshop 2021, co-located with ICFP 2021, Aug 26, 2021

Multiparty Session Programming with Global Protocol Combinators (oral communication)

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

ICE 2021: 14th Interaction and Concurrency Experience, co-located with DisCoTec 2021, Jun 18, 2021

混合選択とタイムアウトで拡張されたマルチパーティセッション型の軽量検査

今井敬吾

第132回プログラミング研究発表会, Jan 13, 2021

A Preliminary Study on Locally Concurrent Multiparty Session Types

Keigo Imai

第127回プログラミング研究発表会, Jan 15, 2020, 情報処理学会プログラミング研究会

Fully Static Multiparty Session Programming with Global Protocol Combinators

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

The 2019 Joint Workshop on Formal Methods, Shanghai, China, Dec 12, 2019

Global Protocol Combinators: static structural multiparty sessions over simply-typed channels

Keigo Imai

PLAS Group Seminar, School of Computing, University of Kent, Sep 16, 2019 Invited

Session Type Implementations in Functional Programming Languages

Keigo Imai

NII Shonan Meeting 149: Programming Languages for Distributed Systems (PL4DS)

セッション型、簡潔に (ポスター)

オレッグキセリョーヴ, 今井敬吾

PPL 2019: 第 21 回プログラミングおよびプログラミング言語ワークショップ, Mar 6, 2019

レンズとモナドを用いた軽量な線形型付きプログラミング

今井敬吾, Jacques Garrigue

第121回プログラミング研究発表会, Nov 1, 2018, 情報処理学会プログラミング研究会

Session types without sophistry

Oleg Kiselyov, Keigo Imai

IFIP Working Group 2.11, Eighteenth Meeting, Jun 7, 2018

ソフトウェアの信頼性を高める定理証明支援系の応用事例について

今井敬吾

オープンソースカンファレンス 2018 Nagoya, May 19, 2018, オープンソースカンファレンス実行委員会

Session-ocaml: a session-based library with polarities and lenses (PPL カテゴリ2)

Keigo Imai, Nobuko Yoshida, Shoji Yuen

PPL 2018: The 20th JSSST Workshop on Programming and Programming Languages, Mar 6, 2018

Presentations

Menu

Coauthors

Following