缺失类型相关论文