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