. . . . . “Simon Foster等人：通过扩展类型推断实现面向对象模型的正确性。（2012）”。 . . _：ID_8d3f28109e284fb69efa5cef88f834f5。_：ID_8d3f28109e284fb69efa5cef88f834f5 ._：ID_8d3f28109e284fb69efa5ef88f834f5 ._：ID_8d3f28109e284fb69efa5cef88f834f5“conf/ictac/FosterRS12”。 _：ID_a4da4055b133b1792b96a4925e7304a4。_：ID_a4da4055b133b1792b96a4925e7304a4 ._：ID_a4da4055b133b1792b96a4925e7304a4 ._：ID_a4da4055b133b1792b96a4925e7304a4"10.1007/978-3-642-32943-2_4" . “通过扩展类型推断实现面向对象模型的正确性”。 . . . . "3"^^. _：Sig_73cd2357cf71fd7285885836ba41e2b1_1。_：Sig_73cd2357cf71fd7285885836ba41e2b1_1 ._：Sig_73cd2357cf71fd7285885836ba41e2b1_1“西蒙·福斯特0001”。_：Sig_73cd2357cf71fd7285885836ba41e2b1_1 ._：Sig_73cd2357cf71fd7285885836ba41e2b1_1 ._：Sig_73cd2357cf71fd7285885836ba41e2b1_1"1"^^._：Sig_73cd2357cf71fd7285885836ba41e2b1_1 . _：Sig_73cd2357cf71fd7285885836ba41e2b1_2。_：Sig_73cd2357cf71fd7285885836ba41e2b1_2 ._：Sig_73cd2357cf71fd7285885836ba41e2b1_2“Ondrej Rypacek”。_：Sig_73cd2357cf71fd7285885836ba41e2b1_2 ._：Sig_73cd2357cf71fd7285885836ba41e2b1_2"2"^^._：Sig_73cd2357cf71fd7285885836ba41e2b1_2 . _：Sig_73cd2357cf71fd7285885836ba41e2b1_3。_：Sig_73cd2357cf71fd7285885836ba41e2b1_3 ._：Sig_73cd2357cf71fd7285885836ba41e2b1_3“乔治·斯特鲁斯”。_：Sig_73cd2357cf71fd7285885836ba41e2b1_3 ._：Sig_73cd2357cf71fd7285885836ba41e2b1_3"3"^^._：Sig_73cd2357cf71fd7285885836ba41e2b1_3 . . . . "46-60" . “ICTAC”。 “ICTAC”。 "2012"^^. "2012"^^. . “dblp记录'conf/ictac/FosterRS12'的RDF数据的起源信息”。 . . . “2018-11-02T09:42:16+0100”。