TyDe 2023にて確率的プログラミング言語形式化に関する発表

型駆動開発に関する国際ワークショップ(TyDe 2023)にて斉藤, AffeldtによるExtended abstract “An Intrinsically-typed Probabilistic Programming Language in Coq”が採択され、発表を行います。

👉Project page

2023-09-04.
→
←