. . . . . 《Rick Statman：关于非类型化术语的多态类型》（2011）。 . . _：ID_788c5856fa7d85d38a478d35e54d6b12。_：识别号_788c5856fa7d85d38a478d35e54d6b12 ._：ID_788c5856fa7d85d38a478d35e54d6b12 ._：ID_788c5856fa7d85d38a478d35e54d6b12“conf/wollic/Statman11”。 _：ID_9027709c0d88e7960e3782aededb67b7。_：ID_9027709c0d88e7960e3782aededb67b7 ._：ID_9027709c0d88e7960e3782aededb67b7 ._：ID_9027709c0d88e7960e3782aededb67b7"10.1007/978-3-642-20920-8_24" . “关于非类型化术语的多态类型”。 . . "1"^^. _：Sig_5f1a539e2bc7338f70d5887d169718ce_1。_：Sig_5f1a539e2bc7338f70d5887d169718ce_1 ._：Sig_5f1a539e2bc7338f70d5887d169718ce_1“Rick Statman”。_：Sig_5f1a539e2bc7338f70d5887d169718ce_1 ._：Sig_5f1a539e2bc7338f70d5887d169718ce_1"1"^^._：Sig_5f1a539e2bc7338f70d5887d169718ce_1 . . . . "239-256" . “WoLLIC”。 “WoLLIC”。 "2011"^^. "2011"^^. . “dblp记录'conf/wollic/Statman11'的RDF数据的来源信息”。 . . . “2017-05-25T00:42:26+0200”。