Languages; Theory; Type-based program analysis; Security analysis; Error feedback;
机译:高阶多态语言的安全类型错误诊断
机译:隐式类型的高阶语言中的类型错误切片
机译:多态类型功能语言的方面的类型定向编织
机译:安全型错误诊断高阶,多态语言
机译:具有用户定义的多态关系运算符的语言中的类型推断,类型改进和类型简化。
机译:EFL学生对书面纠正反馈的偏好:进行错误类型语言能力和外语享受吗?
机译:高阶多态语言的安全类型错误诊断