Lambda calculus; Combinatory logic; Combinatory completeness; Principal types; Lambda-terms;
机译:关于组合器的主要类型
机译:Objective Caml中的组合器和类型驱动的变压器
机译:类型安全的模式组合器
机译:SK组合树的类型推断,生成与规范化之间的协同作用
机译:高贫困,高绩效学校中伊利诺伊州小学校长的人格类型
机译:一个脑 - 所有细胞:一个综合方案用于将所有主要CNS常驻细胞类型与成人健康和EAE小鼠的脑和脊髓分离出来
机译:关于组合器的主要类型
机译:用于泛型遍历的类型组合器;软件工程部