隐含类型相关论文