2022年3月17日
Sound and Complete Type Inference for Closed Effect Rows
International Symposium on Trends in Functional Programming (TFP 2022)
- ,
- ,
- ,
- 開催年月日
- 2022年3月17日 - 2022年3月18日
- 記述言語
- 英語
- 会議種別
- 口頭発表（一般）
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- 信頼性と表現力を兼ね備えたプログラミング言語の実装