...
机译:通过归约进行类型检查与通过评估进行类型检查之间的对应关系
DistriNet & IBBT, Dept. Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200a. bus 2402. B-3001 Leuven-Heverlee, Belgium,Department of Computer Science at Aarhus University;
DistriNet & lBBT, Dept. Computer Science, Katholieke Universiteit Leuven, Celestijnenlaan 200a. bus 2402. B-3001 Leuven-Heverlee, Belgium;
formal semantics; functional programming; compositional evaluators; type checkers; continuation-passing style; defunctionalization; refunctionalization;
机译:通过归约进行类型检查与通过评估进行类型检查之间的对应关系
机译:具有单例类型和证明不相关性的类型理论的模块化类型检查算法
机译:Type:Type的部分类型检查算法
机译:基于评估归一化的Martin-Loef子类型理论的子类型检查算法
机译:将类型检查与模型检查相结合以进行系统验证
机译:对1型和2型糖尿病患者的糖尿病症状清单修订(DSC-R)认知窘迫疲劳高血糖和低血糖分量表的心理测量评估
机译:通过归约进行类型检查与通过评估进行类型检查之间的对应关系。伴随代码概述