尼尔·斯卡索普;Henrik尼尔森 面对变化保持冷静。通过推理变化来优化FRP。 (英文) Zbl 1232.68027号 高-订购符号。计算。 23,第2期,227-271(2010).MSC公司:68甲18 第68页第19页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{N.Sculthorpe}和\textit{H.Nilsson},高-订购符号。计算。23,第2号,227--271(2010;Zbl 1232.68027) 全文: 内政部
亨利克·尼尔森 使用广义代数数据类型的函数反应式规划的动态优化。 (英文) Zbl 1302.68189号 2005年9月26日至28日,爱沙尼亚塔林,ICFP'05,第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-064-7)。ACM SIGPLAN Notices 40,No.9,54-65(2005)。MSC公司:第68季度第65季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{H.Nilsson},in:第十届ACM SIGPLAN函数编程国际会议论文集,ICFP'05,爱沙尼亚塔林,2005年9月26-28日。纽约州纽约市:计算机协会(ACM)。54-65(2005;Zbl 1302.68189) 全文: 内政部
亨利克·尼尔森 狄拉克脉冲的功能性自动微分。 (英文) Zbl 1315.68057号 第八届ACM SIGPLAN功能编程国际会议记录,ICFP'03,乌普萨拉,瑞典,2003年8月25-29日。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-756-7)。ACM SIGPLAN通知38,第9号,153-164(2003)。MSC公司:68甲18 第68页第19页 65D25个 PDF格式BibTeX公司 XML格式引用 \textit{H.Nilsson},in:第八届ACM SIGPLAN函数编程国际会议论文集,ICFP'03,乌普萨拉,瑞典,2003年8月25-29日。纽约州纽约市:计算机协会(ACM)。153-164(2003年;Zbl 1315.68057) 全文: 内政部
Henrik尼尔森 如何在像以前一样懒惰的时候看起来很忙:懒惰函数调试器的实现。 (英文) Zbl 1037.68039号 J.功能。程序。 11,第6期,第629-671页(2001年).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.尼尔森},J.芬克。程序。11,第6号,629--671(2001;Zbl 1037.68039) 全文: 内政部