2022年8月12日
The System SOL version 2022
WST 2022: 18th International Workshop on Termination
- ,
- 記述言語
- 英語
- 会議種別
- 口頭発表（一般）
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- セッション型の埋め込みに基づく実用的な並行分散計算
- 共同研究・競争的資金等の研究課題
- 真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践
- URL
- https://sws.cs.ru.nl/WST2022