摘要
Nathanel L.Ackerman、Cameron E.Freer和Daniel M.Roy。 2011.不可计算的条件分布。 LICS 2011:第26届计算机科学逻辑研讨会论文集,第107–116页,华盛顿特区。 IEEE计算机学会出版社。 谷歌学者 数字图书馆 Nathanel L.Ackerman、Cameron E.Freer和Daniel M.Roy。 2016年。关于可计算性和分解。 计算机科学中的数学结构,第1-28页。 哈迪·穆罕默德·阿夫沙尔(Hadi Mohasel Afshar)、斯科特·桑纳(Scott Sanner)和克里斯弗雷德·韦伯斯(Christfried Webers)。 2016 谷歌学者 代数约束图形模型的闭式吉布斯采样。 在第30届AAAI人工智能会议的会议记录中。 AAAI出版社。 谷歌学者 数字图书馆 尼玛·S·阿罗拉、斯图亚特·罗素和埃里克·萨德思。 2013.NETVISA:网络处理垂直集成地震分析。 美国地震学会公报,103(2A):709–729。 菲利普·奥德巴德(Philippe Audebaud)和克里斯汀·保林·莫林(Christine Paulin-Mohring),2009年。 Coq中随机算法的证明。 计算机程序设计科学,74(8):568-589。 罗伯特·J·奥曼。 1961.功能空间的Borel结构。 《伊利诺伊州数学杂志》,5(4):614-630。 约瑟夫·伯特兰。 1889.概率计算。 戈蒂尔·维拉斯和菲尔斯(Gauthier-Villars et fils),巴黎,苏拉杰·巴特(Sooraj Bhat),阿什什·阿加瓦尔(Ashish Agarwal),理查德·武杜克(Richard Vuduc)和亚历山大·格雷(Alexander Gray)。 2012 谷歌学者 概率密度函数的一种类型理论。 《POPL'12:第39届ACM SIGPLANSIGACT编程语言原理研讨会论文集》,第545-556页,纽约。ACM出版社。 谷歌学者 数字图书馆 苏拉杰·巴特(Sooraj Bhat)、约翰·博格斯特罗姆(Johannes Borgström)、安德鲁·戈登(Andrew D.Gordon)和克劳迪奥·拉索(Claudio V.Russo)。 2013年,从概率函数程序中推导概率密度函数。 《2013年TACAS会议记录:第19届系统构建和分析工具和算法国际会议》,第7795页,计算机科学讲稿,第508-522页,柏林。 斯普林格。 谷歌学者 数字图书馆 马克西米利安·博林布鲁克和西蒙·佩顿·琼斯。 2010年,通过评估进行超级编译。 摘自《哈斯克尔:2010年ACM SIGPLAN哈斯克尔研讨会论文集》,第135–146页,纽约,ACM出版社。 谷歌学者 数字图书馆 安德斯·邦多夫(Anders Bondorf),1992年。 在没有显式CPS转换的情况下提高绑定时间。 《LFP’92:1992年ACM LISP和函数编程会议记录》,第1-10页,纽约。ACM出版社。 谷歌学者 数字图书馆 埃米尔·博雷尔。 1909年《概率研究报告》。 巴黎科学图书馆A.Hermann et fils、Johannes Borgsteröm、Andrew D.Gordon、Michael Greenberg、James Margetson和Jurgen Van Gael。 2013.测量贝叶斯机器学习的变压器语义。 计算机科学中的逻辑方法,9(3:11):1-39。 雅克·卡雷特(Jacques Carette)和孙中山(Chung-chieh Shan)。 2016.使用计算机代数简化概率程序。 《声明性语言的实践方面:第18届国际研讨会》,PADL 2016,计算机科学讲稿,第135–152页,柏林。 斯普林格。 谷歌学者 Joseph T.Chang和David Pollard。 1997年,解体状态。 Neerlandica统计,51(3):287–317。 奥利维尔·丹维(Olivier Danvy)和安德烈·菲林斯基(Andrzej Filinski)。 1990年,抽象控制。 《LFP'90:1990年ACM Lisp和函数编程会议记录》,第151-160页,纽约。ACM出版社。 谷歌学者 数字图书馆 Olivier Danvy、Karoline Malmkjr和Jens Palsberg,1996年。 《Etaexpansion》上演了《The Trick》。 美国计算机学会程序设计语言与系统汇刊,18(6):730–751。 布鲁诺·德·菲内蒂(Bruno de Finetti)。 1974年,《概率论:一个关键的介绍性处理》,第1卷。 纽约威利出版社,译自Teoria Delle Probabilitá,1970年。 谷歌学者 数字图书馆 Jean Dieudonné。 1947–1948. 谷歌学者 《勒贝格·尼科德姆的故事》(Sur le theéorème de Lebesgue-Nikodym)(III)。 格勒诺布尔大学年鉴,23:25-53。 Edsger W.Dijkstra。 1975.程序的保护命令、不确定性和形式派生。 ACM通讯,18(8):453–457。 Joshua Dunfield和Neelakantan R.Krishnaswami。 2013年,针对更高等级多态性的完整且简单的双向类型检查。 《ICFP’13:2013 ACM SIGPLAN函数编程国际会议记录》,第429–442页,纽约。ACM出版社。 谷歌学者 数字图书馆 彼得·戴比耶和安德烈·菲林斯基。 2002.规范化和部分评估。 APPSEM 2000:应用语义国际暑期学校,高级讲座,第2395页,计算机科学讲稿,第137-192页,柏林。 斯普林格。 谷歌学者 数字图书馆 塞巴斯蒂安·费舍尔(Sebastian Fischer)、奥列格·基塞利约夫(Oleg Kiselyov)和钟哲山(Chung-chieh Shan)。 2011 谷歌学者 纯功能的惰性非确定性编程。 函数编程杂志,21(4-5):413-465。 塞巴斯蒂安·菲舍尔(Sebastian Fischer)、约塞普·席尔瓦(Josep Silva)、萨尔瓦多·塔马利特(Salvador Tamarit)和热尔曼·维达尔(Germanán Vidal)。 2008.在惰性函数程序的部分评估中保留共享。 《2007年LOPSTR修订论文集:第17届基于逻辑的程序合成与转换国际研讨会》,第4915页,计算机科学讲稿,第74-89页,柏林。 斯普林格。 谷歌学者 数字图书馆 内特·福斯特(Nate Foster)、松田和彦(Kazutaka Matsuda)和贾尼斯·沃格特勒(Janis Voigtländer)。 2012 谷歌学者 双向编程的三种互补方法。 通用和索引编程,国际春季学校,SSGIP 2010,修订讲座,第7470页,计算机科学讲义,第1-46页,柏林。 斯普林格。 谷歌学者 蒂蒙·盖尔(Timon Gehr)、萨萨·米塞洛维奇(Sasa Misailovic)和马丁·维切夫(Martin T.Vechev)。 2016年PSI:概率程序的精确符号推断。 《第28届计算机辅助验证国际会议论文集》,第一部分,第9779页,《计算机科学讲稿》,第62-83页,柏林。 斯普林格。 谷歌学者 米歇尔·吉里。 1982.概率论的分类方法。 《拓扑与分析的分类方面:在渥太华卡尔顿大学举行的国际会议论文集》,1981年8月11日至15日,第915期,《数学讲义》,第68页至第85页,柏林。 斯普林格。 谷歌学者 诺亚·D·古德曼、维卡什·K·曼辛卡、丹尼尔·罗伊、基思·博纳维茨和约书亚·B·特南鲍姆。 2008年,《教堂:生成模型的语言》。 《第24届人工智能不确定性会议论文集》,第220-229页,俄勒冈州科瓦利斯。 AUAI出版社。 谷歌学者 数字图书馆 诺亚·D·古德曼(Noah D.Goodman)和安德烈亚斯·斯图尔穆勒(Andreas Stuhlmüller)。 2014.概率编程语言的设计和实现。 网址:http://dippl.org。 访问日期:2016-11-04。 卡尔·A·冈特、迪迪尔·雷米和乔恩·里克。 1998.功能延续的返回类型。 谷歌学者 杰斯珀·约根森。 1992.通过部分求值为惰性语言生成编译器。 《POPL'92:第19届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,第258-268页,纽约。ACM出版社。 谷歌学者 数字图书馆 Oleg Kiselyov和Chung chieh Shan。 2009.嵌入式概率编程。 《特定领域语言工作会议记录》(Proceedings of the Working Conference on Domain-Specific Languages),第5658页,《计算机科学讲稿》,第360-384页,柏林。 斯普林格。 谷歌学者 数字图书馆 Oleg Kiselyov、Chung-chieh Shan和Amr Sabry。 2006.带分隔符的动态绑定。 《ICFP'06:第11届ACM SIGPLAN函数编程国际会议论文集》,第26-37页,纽约。ACM出版社。 谷歌学者 数字图书馆 安德烈·尼古拉埃维奇-科尔莫戈洛夫(Andrey Nikolaevich Kolmogorov)。 1933.Wahrscheinlichkeitsrechnung广场。 柏林施普林格。 英语翻译《概率论基础》,切尔西,纽约,1950年。 谷歌学者 德克斯特·科赞。 1981.概率程序的语义。 计算机与系统科学杂志,22(3):328-350。 约翰·朗奇伯里(John Launchbury)。 1993 谷歌学者 交叉引用 懒惰评估的自然语义。 《POPL'93:第20届ACM SIGPLANSIGACT编程语言原理研讨会论文集》,第144-154页,纽约。ACM出版社。 谷歌学者 数字图书馆 朱莉娅·劳尔(Julia L.Lawall)和奥利维·丹维(Olivier Danvy)。 1994 谷歌学者 基于连续性的部分评估。 《LFP'94:1994年ACM Lisp和函数编程会议记录》,第227-238页,纽约。ACM出版社。 谷歌学者 数字图书馆 大卫·J·C·麦凯。 1998年,蒙特卡罗方法简介。 迈克尔·乔丹(Michael I.Jordan)主编,《图形模型中的学习和推断》(Learning and Inference In Graphical Models)。 多德雷赫特·克鲁沃。 平装本:《图形模型学习》,麻省理工学院出版社。 谷歌学者 数字图书馆 杰弗里·内地。 2007.被引用的好处:Haskell的准引用。 在美国纽约州纽约市哈斯克尔的ACM SIGPLAN研讨会论文集,哈斯克尔'07,第73-82页。 谷歌学者 数字图书馆 尼尔·米切尔。 2010年,重新思考超级编译。 《ICFP’10:2010年ACM SIGPLAN函数编程国际会议论文集》,第309-320页,纽约。ACM出版社。 谷歌学者 数字图书馆 Wazim Mohammed Ismail和Chung-chieh Shan。 2016.推导概率密度计算器(功能珍珠)。 《ICFP’16:2016 ACM SIGPLAN函数编程国际会议论文集》,第47-59页,纽约。ACM出版社。 谷歌学者 数字图书馆 Praveen Narayanan、Jacques Carette、Wren Romano、Chung chieh Shan和Robert Zinkov。 2016年,通过Hakaru中的程序转换进行概率推理(系统描述)。 《函数和逻辑编程:第13届国际研讨会》,2016年FLOPS,第9613期,计算机科学讲稿,第62-79页,柏林。 斯普林格。 谷歌学者 交叉引用 Aditya V.Nori、Chung-Kil Hur、Sriram K.Rajamani和Selva Samuel。 2014.R2:用于概率项目的高效MCMC采样器。 第28届AAAI人工智能会议记录,第2476–2482页。 AAAI出版社。 谷歌学者 数字图书馆 朴成宇、弗兰克·普芬宁和塞巴斯蒂安·特龙。 2008 谷歌学者 基于采样函数的概率语言。 美国计算机学会程序设计语言与系统汇刊,31(1):4:1–4:46。 大卫·波拉德。 2001 谷歌学者 数字图书馆 测量理论概率的用户指南。 剑桥大学出版社,剑桥。 诺曼·拉姆齐(Norman Ramsey)和阿维·菲弗(Avi Pfeffer)。 随机lambda演算和概率分布的单数。 《POPL'02:第29届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,第154-165页,纽约,ACM出版社。 谷歌学者 数字图书馆 H.L.罗伊登。 1988年,实际分析。 麦克米伦出版社,第三版。 维杰·萨拉斯瓦特(Vijay A.Saraswat)、马丁·里纳德(Martin C.Rinard)和普拉卡什·帕南加登(Prakash Panangaden)。 1991.并发约束编程的语义基础。 《POPL'91:第18届ACM SIGPLANSIGACT编程语言原理研讨会论文集》,第333–352页,纽约。ACM出版社。 谷歌学者 数字图书馆 Saurabh Srivastava、Sumit Gulwani、Swarat Chaudhuri和Jeffrey S.Foster。 2011.程序反转的基于路径的归纳合成。 《PLDI’11:第32届ACM SIGPLAN编程语言设计与实现会议记录》,第492-503页,纽约。ACM出版社。 谷歌学者 数字图书馆 Sam Staton、Hongseok Yang、Chris Heunen、Ohad Kammar和Frank Wood。 概率规划语义:高阶函数、连续分布和软约束。 2016年LICS:第31届计算机科学逻辑研讨会论文集,华盛顿特区。 IEEE计算机学会出版社。 谷歌学者 数字图书馆 约瑟夫·斯托伊(Joseph E.Stoy)。 1977年,《指称语义学:编程语言理论的斯科特-斯特拉奇方法》(The Scott-Strachey Approach to Programming Language Theory)。 麻省理工学院出版社。 谷歌学者 数字图书馆 卢克·蒂尔尼。 1998。关于一般状态空间的Metropolis Hastings核的一个注记。 应用概率年鉴,8(1):1-9。 星期二至星期二。 1975.条件分布的构造性定义。 哥本哈根大学数理统计研究所预印本13。 尼尔·多伦多、杰·麦卡锡和大卫·范霍恩。 2015年,反向运行概率程序。 在ESOP 2015:第24届欧洲编程研讨会论文集,第9032期,《计算机科学讲义》,第53-79页,柏林。 斯普林格。 谷歌学者 交叉引用 大卫·温盖特(David Wingate)、安德烈亚斯·斯图尔穆勒(Andreas Stuhlmüller)和诺亚·D·古德曼(Noah D.Goodman)。 2011.通过转换编译实现概率编程语言的轻量级实现。 《AISTATS 2011年会议记录:第14届国际人工智能和统计会议》,JMLR研讨会和会议记录第15号,第770-778页,剑桥。 麻省理工学院出版社。 谷歌学者