University of Saskatchewan Department of Computer Science Canada;
School of Computing Queen's University Canada;
inference mechanisms; Java; learning (artificial intelligence); neural nets; programming languages; reasoning about programs; software engineering; source code (software);
机译:类型反馈与具体类型推断:面向对象语言的优化技术比较
机译:类型推断可优化静态和动态混合语言
机译:类型推断可优化静态和动态混合语言
机译:动态类型语言的安全多态类型推断
机译:具有用户定义的多态关系运算符的语言中的类型推断,类型改进和类型简化。
机译:朝着动态过程建模语言的可衡量类型
机译:探索动态类型语言中的廉价类型推理方法
机译:编程语言Id的增量类型推理系统。