. . . . . “Rick Statman：关于非类型化术语的多态性类型。（2014）”。 . . _：ID_007870214bebda25d86e9bc9a21f0fe4。_：ID_007870214bebda25d86e9bc9a21f0fe4 ._：ID_007870214bebda25d86e9bc9a21f0fe4 ._：ID_007870214 bebda25d86e9bc9a21f0fe4“日志/jcss/Statman14”。 _：ID_0116786aad5c8a68a126429e72579f20。_：ID_0116786aad5c8a68a126429e72579f20 ._：ID_0116786aad5c8a68a126429e72579f20 ._：ID_0116786aad5c8a68a126429e72579f20“10.1016/J.JCSS.2014.04.008”。 “关于非类型化术语的多态类型。”。 . . "1"^^. _：Sig_5e112ae3f5c269e1367568c4bf59fa0_1。_：Sig_5e112ae3f5c269e13607568cbf59fa0_1 ._：Sig_5e112ae3f5c269e13607568cbf59fa0_1“Rick Statman”。_：Sig_5e112ae3f5c269e1367568c4bf59fa0_1 ._：Sig_5e112ae3f5c269e1367568c4bf59fa0_1"1"^^._：Sig_5e112ae3f5c269e1367568c4bf59fa0_1 . . . . "1163-1173" . 《计算系统科学杂志》。 《计算系统科学杂志》。 "80" . "6" . "2014"^^. “dblp记录'journals/jcss/Statman14'的RDF数据的来源信息”。 . . . “2021-02-16T14:04:24+0100”。