2023年3月23日
OCaml におけるプレースホルダ式によるアドホック多相の実現
第143回プログラミング研究発表会
- ,
- 開催年月日
- 2023年3月22日 - 2023年3月23日
- 記述言語
- 日本語
- 会議種別
- 口頭発表(一般)
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
- 共同研究・競争的資金等の研究課題
- セッション型の埋め込みに基づく実用的な並行分散計算
- 共同研究・競争的資金等の研究課題
- 真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践
- URL
- http://id.nii.ac.jp/1001/00227432/