sorts which is analogous to the notion of types in functional programming. As a well-typed program applies functions to argume'/>
In Milner's polyadic π-calculus there is a notion of
在米尔纳的多元π演算中,有
机译:带有类型推断算法的ML样式多抽象演算
机译:多态环境演算及其类型推断算法
机译:用多态同步在微积分中编码密码基元
机译:在具有多adic同步的微积分中编码加密原语
机译:用于计算和应用的并行算法和致密的规范多adic分解
机译:适应性神经模糊推理系统 - 非主导分类遗传算法-II(ANFIS-NSGAII)对菊花体细胞胚胎发生和优化体细胞胚胎发生的应用
机译:图7:存储大小的比较随着所提出的流数据排序算法,近似排序(Farnoud,Yaakobi&Bruck,2016)算法和外部分类,将存储尺寸的比较变为分类一组流数据的结果。