类型框架相关论文