音楽のための型システムに関する論文 (@ FARM 2023)

以下の論文が ICFP 2023 の併設ワークショップ FARM 2023 で発表されます。

  • Youyou Cong. Weighted Refinement Types for Counterpoint Composition.
2023-09-08.
→
←