共同研究・競争的資金等の研究課題

2021年4月 - 2025年3月

セッション型の埋め込みに基づく実用的な並行分散計算

日本学術振興会  科学研究費助成事業
  • 今井 敬吾

担当区分
研究代表者

リンク情報
論文
Kmclib: Automated Inference and Verification of Session Types from OCaml Programs
講演・口頭発表等
OCamlのための構文上の穴を用いたアドホック多相のプリプロセッサによる実装 (ポスター)
講演・口頭発表等
Kmclib: Automated Inference and Verification of Session Types (PPL カテゴリ2)
講演・口頭発表等
Verifying Multiparty Communication Protocols using ML Type Systems
講演・口頭発表等
Multiparty Session Programming with Global Protocol Combinators (oral communication)
ID情報
  • 論文の業績ID : 36180937
  • 講演・口頭発表等の業績ID : 37016910
  • 講演・口頭発表等の業績ID : 36459255
  • 講演・口頭発表等の業績ID : 34134942
  • 講演・口頭発表等の業績ID : 34134534