| Session type inference in Haskell K Imai, S Yuen, K Agusa arXiv preprint arXiv:1110.4163, 2011 | 36 | 2011 |
| Session-ocaml: A session-based library with polarities and lenses K Imai, N Yoshida, S Yuen Science of Computer Programming 172, 135-159, 2019 | 34 | 2019 |
| Multiparty session programming with global protocol combinators K Imai, R Neykova, N Yoshida, S Yuen arXiv preprint arXiv:2005.06333, 2020 | 31 | 2020 |
| Kmclib: Automated Inference and Verification of Session Types from OCaml Programs K Imai, J Lange, R Neykova International Conference on Tools and Algorithms for the Construction and …, 2022 | 6 | 2022 |
| Session Types Without Sophistry: System Description O Kiselyov, K Imai Functional and Logic Programming: 15th International Symposium, FLOPS 2020 …, 2020 | 3 | 2020 |
| Lightweight linearly-typed programming with lenses and monads K Imai, J Garrigue Journal of Information Processing 27, 431-444, 2019 | 3 | 2019 |
| 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング 横山哲郎， 今井敬吾， 曾剛， 冨山宏之， 高田広章， 結縁祥治 情報処理学会論文誌プログラミング (PRO) 2 (2), 54-69, 2009 | 2 | 2009 |
| A full implementation of session types in haskell K Imai, S Yuen, K Agusa PPL2009: 11th programming and programming languages workshop. http://www …, 2009 | 2 | 2009 |
| Fluent Session Programming in C S Kimura, K Imai arXiv preprint arXiv:2004.01325, 2020 | 1 | 2020 |
| A Session Type System with Subject Reduction K Imai, S Yuen, K Agusa IEICE TRANSACTIONS on Information and Systems 95 (8), 2053-2064, 2012 | 1 | 2012 |
| full-sessions: A monad for protocol-typed network programming K Imai http://hackage. haskell. org/package/full-sessions, 0 | 1 | |
| Multiparty Session Programming with Global Protocol Combinators (Artifact). K Imai, R Neykova, N Yoshida, S Yuen Dagstuhl Artifacts Ser. 6 (2), 18:1-18:2, 2020 | | 2020 |
| Towards Bidirectional Synchronization between Communicating Processes and Session Types L Guo, HS Ko, K Imai, N Yoshida, Z Hu 2019 IEEE International Conference on Big Data and Smart Computing (BigComp …, 2019 | | 2019 |
| 関数型プログラミング言語における通信記述の型付け 今井敬吾 名古屋大学, 2012 | | 2012 |
| Scala 実践プログラミング: オープンソース徹底活用 小笠原啓， 尾崎智仁， 関隆， 今井敬吾， 水島宏太 秀和システム, 2011 | | 2011 |
| An SOS interpreter with negative premises and an equivalence checker by Maude J Ban, K Imai, S Yuen IEICE Technical Report; IEICE Tech. Rep. 109 (40), 49-54, 2009 | | 2009 |
| Maude による否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築 伴潤， 今井敬吾， 結縁祥治 電子情報通信学会技術研究報告; 信学技報 109 (40), 49-54, 2009 | | 2009 |
| セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法 今井敬吾， 結縁祥治， 阿草清滋 情報処理学会論文誌プログラミング (PRO) 49 (SIG3 (PRO36)), 57-57, 2008 | | 2008 |
| 細粒度マークアップに基づくカスタマイズ可能なコーディング規約検査器 金子伸幸， 今井敬吾， 山本晋一郎， 阿草清滋 全国大会講演論文集, 403-404, 2008 | | 2008 |
| A Web Application Bi-Execution Model for a Framework Preventing Amazon-Bug R Mizuno, K Imai, R Suetsugu, N Kaneko, S Yamamoto, K Agusa IEICE Technical Report; IEICE Tech. Rep. 107 (505), 61-66, 2008 | | 2008 |
