昨年に採録された FLOPS 2020 と ECOOP 2020 での口頭発表を行なった．ECOOPでの内容は，多者間通信の静的型付けの枠組みであるマルチパーティセッション型をOCaml言語で利用可能にするための技法に関するものである．さらに，ECOOP 2020 の内容を拡張して論文誌に投稿すべく執筆を進めた．具体的には，実装面における非効率さの排除と，安全性に関する修正を行なった．
さらに，「メッセージの到達性を保証しない通信環境」における取扱のため，マルチパーティセッション型そのものの表現能力の拡張に関する研究を進めた．これは，二者間の通信に関するバイナリーセッション型においてVasconcelosらがESOP 2020で発表したMixed Choiceを，多者間に拡張するための枠組みである．この枠組みは上記のOCaml実装からの着想を得ている．デッドロックフリー性といった安全性に関する証明が未完である．進行中の仕事を情報処理学会プログラミング研究会で発表した．