迭代器、递归器和交互网络

摘要:使用交互网(IN)对迭代器(和递归算子一般)进行编码的方法 编码迭代器(和递归算子一般)的方法使用交互网(IN) 使用交互网(IN)将迭代器(和递归算子一般)进行编码的方法的应用 将函数程序进行可视化表示的方法 使用交互网(IN)将lambda演算转化为具有递归类型的语言的现有翻译进行扩展的方法

作者:Ian Mackie, Jorge Sousa Pinto and Miguel Vilaca

论文ID:0910.3321

分类:Programming Languages

分类简称:cs.PL

提交时间:2009-10-20

PDF 下载: 英文版 中文版pdf翻译中