具有集合理论类型的多态函数:第1部分:语法、语义
朱塞佩·卡斯塔尼亚 , 金恩恩(Kim Nguyen) , 徐志武 , Hyeonseung Im公司 , SergueïLenglet公司 , 卢卡·帕多瓦尼 :
具有集合理论类型的多态函数:第1部分:语法、语义和计算。 POPL公司 2014 : 5-18
由于引用数据不可用,以下列表可能不完整, 引用字符串可能未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)