...
机译:具有递归类型的系统F-omega,用于数据类型通用编程
Datatype-generic programming; equirecursive types; functors;
机译:具有递归类型的系统F-omega,用于数据类型通用编程
机译:SkePU 2:用于异构并行系统的灵活且类型安全的骨架编程
机译:基于空气质量指数的多阶段不确定性下的能源与环境系统多阶段2型-模糊区间随机规划模型
机译:声明的类型泛型检查器:用于具有更多常规类型的系统编程的Eclipse插件
机译:一种依赖类型的编程语言,可应用于基本的确定性代码系统。
机译:重新利用内源I型CRISPR-Cas系统进行可编程基因抑制
机译:AGAPIA v0.1:用于交互式系统及其键入系统的编程语言