博·乔尔·斯文森;牛顿,瑞安·R。;玛丽·希兰 一种用于GPU上分层数据并行设计空间探索的语言。 (英语) 兹比尔1420.68046 J.功能。程序。 26,论文编号e6,53 p.(2016).MSC公司:68甲18 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{B.J.Svensson}等人,J.Funct。程序。26,论文编号e6,53 p.(2016;Zbl 1420.68046) 全文: 内政部
特雷弗·L·麦克唐纳。;蒂莫西·扎基安(Timothy A.K.Zakian)。;马蒂奥·奇米尼;牛顿,瑞安·R。 Ghostbuster:简化和转换GADT的工具。 (英语) 兹比尔1361.68042 Garrigue,Jacques(ed.)等人,《第21届ACM SIGPLAN功能编程国际会议论文集》,2016年9月18日至22日,日本奈良,ICFP’16。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4219-3)。338-350(2016年)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{T.L.McDonell}等人,in:第21届ACM SIGPLAN函数式编程国际会议论文集,2016年9月18日至22日,日本奈良ICFP’16。纽约州纽约市:计算机协会(ACM)。338--350(2016年;Zbl 1361.68042) 全文: 内政部
林赛·库珀;亚伦·图伦;尼拉坎坦·R·克里希纳斯瓦米。;牛顿,瑞安·R。 写后冻结,LVar准确定性并行编程。 (英语) Zbl 1284.68143号 2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。257-270 (2014).MSC公司:68甲19 68甲18 68问题30 PDF格式BibTeX公司 XML格式引用 \textit{L.Kuper}等人,摘自:第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’14,美国加利福尼亚州圣地亚哥,2014年1月22日至24日。纽约州纽约市:计算机协会(ACM)。257--270(2014年;Zbl 1284.68143) 全文: 内政部
亚当·福尔策;阿比舍克·库尔卡尼;剑,丽贝卡;萨希德哈兰;江,埃里克;莱恩·牛顿 用于异构云的par-monad、可组合调度的元调度程序。 (英语) Zbl 1291.68120号 2012年9月9日至15日在丹麦哥本哈根举行的第17届ACM SIGPLAN功能编程国际会议记录,ICFP’12。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1054-3)。ACM SIGPLAN通知47,第9号,235-246(2012)。MSC公司:68甲18 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.Foltzer}等人,《第17届ACM SIGPLAN函数编程国际会议论文集》,ICFP’12,丹麦哥本哈根,2012年9月9日至15日。纽约州纽约市:计算机协会(ACM)。235-246(2012年;兹bl 1291.68120) 全文: 内政部