摘要
建议
具有递归类型、类型参数和抽象类型的压缩签名 ICALP’13：第40届国际自动化、语言和编程会议记录——第二卷 虽然递归类型的等价或子类型理论已经被广泛研究，但递归类型和抽象类型之间的复杂交互很少受到关注。 递归类型的类型理论背后的关键思想。。。 关于子类型、通配符和存在类型 2009年FTfJP：第11届类Java程序形式化技术国际研讨会会议记录 通配符是Java类型系统中经常令人困惑的部分：由于通配符捕获，通配符类型的行为没有完全由子类型指定，并且类型检查的规则经常被误解。 他们的配方似乎“。。。
