亨利克·尼尔森 使用广义代数数据类型的函数反应式规划的动态优化。 （英语） 兹比尔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）。 引用于1文件 MSC公司： 68问题65 抽象数据类型；代数规范 68甲18 函数编程和lambda演算 关键词：DSEL公司；玻璃钢；GADT公司；哈斯克尔；亚姆帕；箭头；组合库；特定领域的语言；函数式编程；反应式程序设计；同步数据流语言 软件：GHC公司；哈斯克尔；帽子；FranTk公司；芙蕾雅；亚姆帕；罩 PDF格式BibTeX公司 XML格式引用 \textit{H.Nilsson}，in：第十届ACM SIGPLAN函数编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。54-65（2005；Zbl 1302.68189） 全文： 内政部