講演・口頭発表等

2023年3月23日

OCaml におけるプレースホルダ式によるアドホック多相の実現

第143回プログラミング研究発表会
  • 伊藤 将希
  • ,
  • 今井 敬吾

開催年月日
2023年3月22日 - 2023年3月23日
記述言語
日本語
会議種別
口頭発表(一般)

リンク情報
共同研究・競争的資金等の研究課題
データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
共同研究・競争的資金等の研究課題
セッション型の埋め込みに基づく実用的な並行分散計算
共同研究・競争的資金等の研究課題
真代数型: 高階書換えに基づく安全性保証付きデータ型の原理・推論・実践
URL
http://id.nii.ac.jp/1001/00227432/