跳到主要内容
牛津大学计算机科学系
联系我们 搜索
  1. 主页
  2. 研究
  3. 编程语言
  4. ADEV：概率程序期望值的声音自动微分

ADEV：概率程序期望值的声音自动微分

亚历山大·路·马修·霍特（Alexander K.Lew）、萨姆·斯塔顿（Sam Staton）和维卡什·曼辛卡（Vikash K.Mansinghka）

日记账
程序。ACM计划。语言。
编号
POPL公司
页
121–153
体积
7
年份
2023

链接

另请参见

返回页首