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