类型恢复相关论文