类型抽象相关论文