coercion insertion; nonambiguity; type-directed trans-lation; provenance; gradual typing;
机译:类型强制理论及其应用
机译:类型强制理论及其应用
机译:类型理论中隐式强制的计算视图
机译:类型强制理论及其应用
机译:工作满意度与人格类型和工作环境类型的一致性:Holland理论在某主要大学全职员工中的应用
机译:某些类型环上的特征及其在有限域方程理论中的应用
机译:类型强制理论及其应用
机译:雇佣强制:间接强制理论