建议
带有子类型的类型推断 POPL'88：第十五届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 我们给出了一种在具有函数、记录和变量记录的语言中进行类型推理的算法。 Cardelli研究了一种类似的语言，他给出了一种类型检查算法。 这种语言很有趣，因为它捕获了对象的各个方面。。。 具有子类型的类型推理的算法方面 POPL’92：第19届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 我们研究了具有子类型的编程语言的类型推理的复杂性。 有三种语言变体影响了这个问题：（i）基本函数可能具有多态或更有限的类型，（ii）子类型层次可能是固定的或。。。
