机译:多态环境演算及其类型推断算法
Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology, 2-12-1, O-okayama, Megum-ku, Tokyo, 152-8552, Japan;
environment calculus; first-class environments; polymorphism; principal-typing theorem; type-inference algorithm; explicit substitutions; lambda calculus;
机译:具有多晶型亚型的依赖性微积分
机译:多态性RPC微积分
机译:具有名称变量的微积分的受限多态性类型
机译:简化多态表达式的属性和语义的类型推断方法(摘要)
机译:多态多域上的频谱/ hp方法:算法和应用。
机译:因果发现和重新编程系统的算法信息演算
机译:降低类型推理算法的内存复杂度
机译:多态电路及其进化算法设计