摘要
建议
高阶嵌套数据类型的(Co)迭代 TYPES’02:2002年关于证明和程序类型的国际会议记录 在系统F的框架内解决了为任意(有限)秩的高阶嵌套数据类型定义迭代的问题 ω 高阶参数多态性。 所提出的解决方案在很大程度上依赖于单调性的一般概念。。。 具有广义Mendler迭代的嵌套数据类型:映射融合和具有显式平坦化的非类型Lambda微积分表示示例 MPC’08:第九届程序构造数学国际会议论文集 嵌套数据类型是对所有类型进行索引的数据类型族,以便构造函数可以关联不同的族成员。 此外,构造函数的参数类型是指由表达式给出的索引,其中姓氏可以。。。