保存此搜索
第条 2003年1月 受保护的递归数据类型构造函数 我们引入了保护递归(g.r.)数据类型构造函数的概念,在ML和Haskell等函数式编程语言中推广了递归数据类型的概念。 我们解决了由此产生的理论和实践问题。。。 另发布于: ACM SIGPLAN通知:第38卷,2003年1月1日发行 第条 2003年1月 简单类型同构的有效算法 这个 一阶同构问题 是决定使用乘积型和函数型构造函数的两个非递归类型在交换和关联乘积公理下是否同构,以及函数在。。。 另发布于: ACM SIGPLAN通知:第38卷,2003年1月1日发行