確率的プログラミング言語をCoq上で形式化するAPLAS 2023論文

第21回アジアプログラミング言語・システムシンポジウム(APLAS 2023)にて斉藤, Affeldtによる論文 “Experimenting with an Intrinsically-typed Probabilistic Programming Language in Coq”が採択され、発表を行います。

👉プロジェクト

2023-11-26.
→
←