马丁·阿巴迪（Martín Abadi）和戈登·普洛金（Gordon D.Plotkin:Smart Choices and the Selection Monad）。(2021) conf/lics/阿巴迪21 10.1109/许可证5226.4021.9470641 聪明的选择和选择单子。 2 马丁·阿巴迪 1 戈登·普洛金 2 1-14 低收入国家 低收入国家 2021 2021 dblp记录“conf/lics/AbadiP21”的RDF数据的来源信息 2021-07-09T14:36:19+0200