机译:具有名称变量的微积分的受限多态性类型
open codeincremental rebindingname polymorphismmetaprogramming;
机译:具有多晶型亚型的依赖性微积分
机译:嵌套关系演算的多态类型推断
机译:使用多态类型的π演算的HD自动机的余数最小化
机译:具有构造函数的Lambda微积分的多态类型系统
机译:具有用户定义的多态关系运算符的语言中的类型推断,类型改进和类型简化。
机译:与青光眼相关的肌动蛋白嗅觉素结构域形成多态性原纤维该原纤维受到部分展开和肽序列的限制
机译:多态重写演算类型检查与类型推断