亨利克·尼尔森 使用广义代数数据类型的函数反应式规划的动态优化。 （英语） 兹比尔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） 全文： 内政部
亨利克·尼尔森 Dirac脉冲的功能自动微分。 （英语） 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年；兹bl 1315.68057） 全文： 内政部