类型辅助相关论文