P.W.奥赫恩。;R.D.坦能。 参数和局部变量。 (英语) Zbl 0885.68039号 J.协会计算。机器。 42,第3期,658-709(1995). 引用于1审查引用于27文件 MSC公司: 68甲15 编程语言理论 关键词:类藻类语言;多态函数 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}和\textit{R.D.Tennent},J.协会计算。机器。42,第3号,658--709(1995;Zbl 0885.68039) 全文: 内政部 链接