阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特 子结构状态的阶跃诱导模型。 （英语） 兹比尔1302.68048 2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，78-91（2005）。 引用于4文件 理学硕士： 第68页第15页 编程语言理论 68甲18 函数编程和lambda演算 关键词：可变引用;阶跃模型;子结构型系统 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahmed}等人，in：第十届ACM SIGPLAN函数式编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机协会（ACM）。78-91（2005；Zbl 1302.68048） 全文： 内政部 链接