2022年10月27日
有界な余帰納的定義による非同期マルチパーティセッション型の無限トレース意味論
第141回プログラミング研究発表会
- 開催年月日
- 2022年10月27日 - 2022年10月28日
- 記述言語
- 日本語
- 会議種別
- 口頭発表（一般）
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
- 共同研究・競争的資金等の研究課題
- セッション型の埋め込みに基づく実用的な並行分散計算
- 共同研究・競争的資金等の研究課題
- 真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践
- URL
- https://sigpro.ipsj.or.jp/pro2022-3/program/
- URL
- http://id.nii.ac.jp/1001/00226681/